A host of updates and bug-fixes to the prover.  Array_Realiz now verifies automatically.
Merge pull request #40 from hamptonsmith/facilities2

A host of updates and bug-fixes to the prover.  Array_Realiz now verifie...
Mostly formatting changes.
A few significant optimizations to the prover.
Merge pull request #41 from hamptonsmith/facilities2

A number of optimizations to the prover.
Web socket stuff
Added a jar library for writing directly to the web socket and modified the prover to use the sicket if using the web interface.
added .idea to the ignore list
fixed missing line endings
found duplicated code that is not needed
Web socket stuff
fixed missing line endings
now the compiler accepts custom theory files created by the user from the webinterface
Merge branch 'webinterface' of https://github.com/yushan87/RESOLVE into webinterface