add Travis CI config [issue #4]