Release 0.5.1

You should also use the https URLs to GitHub.