Rename PPA version from 5.1 to 5.2-dev.
Explicit support for PG 9.3.