Patch/bugfixes

[sillydan1]

Changes

• Add -! | --immediate-output command line option, so you dont have to wait forever for traces
• Add -g | --print-memory command line option, for users to be able to detect ever-increasing statespace searches
• Fixed a bug where interesting-set combination generation was manipulating other results
• Extended type check, such that you can assign variables of type x to other values of type x (same type)
• Added an extra equality check during hash-collision warning
• Added .DS_Store to the parser's ignore-list
• Fixed json print of timer symbols
• Replaced C-style rand with C++11's std::uniform_distribution during nondet. strategy