Configuring travis-ci