Travis CI

Use Travis to build in different environments and confirm that pull
requests can be merged cleanly.