fixed isabelle loading
fixed isabelle loader
Added concurrent structures
Added a stopwatch for timing processes
Modified root to build the concurrent structures
added convenience functions for making json records
added raw_input source and json_source which takes a stream and returns JSONs as they come
isabelle loading
Updated Concurrent structures
Can't seem to parallelise with the compactor for some reason...
Multithreading was restricted to four cores
Merge branch 'master' of github.com:Quantomatic/isaplib

Conflicts:
	Concurrent/compactor.ML
	Concurrent/test/test-par_tree.ML
Found the error within Par_Seq
Test algorithms updated
Test modifications
Compactor Tests
Merge branch 'master' of github.com:Quantomatic/isaplib
Updated Parallel Tree
added read_file function to JSON structure
Reconstructing isaplib