Optional pull_request field

Github doesn't seem to send this field (anymore?), so requiring it
breaks things.  Making it optional (with a Maybe in Issue) fixes all of
my code, others may need to tweak things to deal with the Maybe.