Update travis-ci build status to use the public repo (fixes #17)