Added travis-ci stuff back