travis: add configuration and build script
travis: improve testing
travis: restore lighter benchmarks

Travis kills builds that do not output anything for 10 minutes.
Merge pull request #118 from smondet/test_travis

Integrate travis-ci