Fixes and features:
* Model output for LRA
* Gaussian elimination for LRA is ON by default
* Delta class is simplified, sharing of Real part is removed
* Cleans, comments, convention-compliant variable names

[AT]
Version number updated
[RB]
Bug fixed
Set version
[RB]
Forgot this script
[RB]
Added one more example for bitvectors
[RB]
Added support for splitting on demand
[RB]
Fix
[RB]
[RB]
[RB]
Initialize arithmetic only if theory atom
[RB]
Releasing OpenSMT 1.0.1 UNSTABLE
[RB]
Forgot
[RB]
Static linking was not working
[RB]
Fix SMTCOMP compilation
[RB]
Removed buggy gmp.h check from configure.ac
[RB]
Minor fixes
[RB]
Fixed a bug
[RB]
Other fixes, slightly changed configure
[RB]
fixes
[RB]