Travis CI

**Resolves #582.**