updated to use Travis CI