adding a travis-ci file for CI