prodigal: update url, add HEAD

Development moved to GitHub.
oce 0.15

Closes #803.