Switch to using GitHub, using a release plus a couple post-release dist patches for PostgreSQL 11 support. OK ajacoutot@