Move githubComment into its own command.
Send informational output to stderr.
Don't post identical messages on github.
Check that pull request is still open before running prCheck.
Merge pull request #10 from nubs/master

Don't post identical messages on github.