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