Update .travis.yml

 - clean up builds
 - remove flex/bison
 - have separate memcheck build, doxygen build, and testcov build
Add coding style and notes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>