Changes

setup: Ask the user for another note if the current is taken (#133)

It is not possible to retrieve the OAuth token anymore using the GitHub API,
so instead of doing that, we ask the user to create a new token if the
default one is already used.
pull rebase: Add --delete-branch option (#129)

When this option is used, the branch used to make the pull request from will
be deleted after rebasing the pull request.
man page improvements (#131, #126)

Describe the missing global options and add a FILES section mentioning
files used to keep, for example, the messages typed by the user.
Fix --pause resuming (#132)

Provide feedback