Integration with Travis CI

See https://travis-ci.org for details.