Continuous Integration

We use Travis CI for continuous integration.