Clean up pull rebase after it was paused

A bug in the pause logic prevented the environment to be cleaned up (the
temporary branch to be removed and changes unstashed) after a pull
rebase was paused.
Fix #44: Make rebase --pause message more verbose

The --pause option is mentioned in the message and "Use --continue AGAIN
when done" is used when the rebasing was interrupted before to resolve
conflicts.