Configuration for Travis CI

Fixes #7.