Added travis-ci stuff