Update trac tickets in response to github issue comments

Only for pull request comments though.