Switch to using GitHub, using a release plus a couple post-release dist patches for PostgreSQL 11 support. OK ajacoutot@
to build on PostgreSQL 9.3. OK pea@, bulk testing by landry@
language to PostgreSQL. Feedback and OK sthen@