Closes and deletes PRs during merges, and links between comments and PRs.

Closes #11