Pinging when Travis CI builds finish in a GitHub Pull Request.