added travis-ci stuff