Configuration for travis-ci.