Fixed an error that caused, e.g., Str(X)s not to be acceptable where an SStr was required.
Merge pull request #34 from hamptonsmith/facilities2

Fixed an error that caused, e.g., Str(X)s not to be acceptable where an ...
Fixed an error that caused VarExps not to be replaced properly.
Merge pull request #35 from hamptonsmith/facilities2

Fixed an error that caused VarExps not to be replaced properly.
Added a limit to the number of developments the prover will perform to limit combinatorial explosion.
Merge pull request #36 from hamptonsmith/facilities2

Added a limit to the number of developments the prover will perform to l...
Fixed a predicate that was intended to stop repeated expansions like x = 0, x = 0 + 0, x = 0 + 0 + 0, etc. in the theory development stage.
Merge pull request #37 from hamptonsmith/facilities2

Fixed a predicate that was intended to stop repeated expansions like x =...
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
Merge branch 'webinterface' of https://github.com/yushan87/RESOLVE into webinterface