Improve travis-ci config