revert changes to checkout command

@xystushi: I'm really sorry that I had to revert this (and remove
the branch renaming). When I tried this command I realized that
the PR number in its name would not play well with remote branches.
Meaning, one could no longer checkout a PR and just add some
commits and push them to remote. Now this works again.
Unfortunately, this means the PR number had to go.