Initial Version
replace platform dependent include to gmp
splits connection handling into a class
adds precompiled headers to metaSMT-server for compilation speedup
set clang as default compiler to further speed up the compilation
process
adds TODO for metaSMT-server
metaSMT-server: remove local variables (solver,bitvectors,etc.) in favor
of object variables
metaSMT-server: fix parser to handle newlines consisting of carriage
return and line feed
metSMT-server: fix bug where every incoming line but the first is
dropped, if all they are sent all at once
metaSMT-server: fix debug output to contain a newline
metaSMT-server: adds test file to check for proper interpretation on the
serverside
add isBinary function for json subtree
add support for all binary operations to metaSMT-server
don't let exceptions take down a whole connection
adds support for unary operations to metaSMT-server

also renames operand -> operator for the corresponding exception class
don't let a solver exception take down the whole metaSMT-server
update metaSMT-server test file
templatifiy Connection class

 + snake-casify some functions
move line parsing into separate function for future use
move next_line out of Connection class