Chiapos

better error handling for reads and writes

Fix Windows fseek for 64 bits

FILE* changes

Specify secondary temporary folder location

Performance improvements

Reduce stack requirements by allocating on heap in order to fit into Windows 1 mb stack size (unchangeable due to pybind11). Fix tests to close prover file handle before removing file. Remove unused stackallocator.