add a travis-ci configuration