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,
but it doesn't seem to break any samples...