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
tools: delete cppbmc