no longer hosting a Jenkins build server, using travis-ci