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
new flight model
test file. no unrolling.
Delete old flyspeck
benchmark: modify the initial condition of cardiac model
remove dmacs
Fix drh_parser -- 1) precedence of *,/ 2) handle unary minus constant
Add template for inv checker
Update README.md and .travis.yml

- Add g++-4.8 required package
- Add build instructions for tools using ocaml
- Set up travis-ci to compile tools and proof checker
add type info on newton
capd: remove config.*.h.in files
smt2parser: fix infix_term so that a constant with unary minus is wrapped with parens. This handles a parsing problem on CAPD side.
fix(capd_dynsys): remove capd source from the repository