bugzilla hooked to github

[Walter Bright]

Some of you may have noticed that Brad Roberts has configured bugzilla so it 
gets notifications from github when fixes get pushed. This makes things easier 
and more consistent.