benchmark: delete smt2 files in hybrid system directory
add icp_visualization
tools: update Makefile
icp: print out data before branching
realpaver: print up to 15 digits
icp_vis: update _tags
ICP_VIS: fix ptree.ml
Add .travis.yml
tools: fix Makefile & _tags to remove dependency on batteries.syntax
Add build image to README.md
Fix .travis.yml
Add tools/README.md
Fix drh_infix parser & lexer
DRH_Lexer: change to report the problem when lexer failed to match a string
BMC: print out information about Not_found exception
Update CAPD to the latest (2013/08/05)
configure.ac: put C++11 instead of C++0x
Disable boost/threads in icp
Update travis.yml to specify the compiler (g++-4.8)
proofchecker: fix Makefile by removing dependency on batteries.syntax
Delete old flyspeck