add Travis CI config [issue #8]