Experimenting with travis-ci

This may or may not result in a successful build on the travis CI
infrastructure.