Explain how to add your own project config.
Merge pull request #33 from adriaanm/master

deal with old-style jenkins jobs, randomize timing for commit status, normalize shas
time out in job start actor, start job again on jenkins
Check GitHub PRs and Jenkins jobs more often

PR validation is failing to see new jobs for the Scala IDE project.
Not sure what causes this, so trying a more eager version.
Diagnose failure to get commit status/labels
Slow down PR checking to avoid github rate limiting
Merge pull request #37 from adriaanm/rev-it

rev the kitten's engine faster
A longer life for the PR commenter

Don't stop the PR commenter actor until we got a success.
The jenkins actor may send successful BuildResults,
after having reported on a failure, and we must be alive to hear it.

Before, we stopped on failure as well. Just hang in there a little longer.
deploy script
Merge pull request #40 from adriaanm/longer-life

A longer life for the PR commenter
Log github repo on http exceptions