classes/database/Connection.php: Explicit support for PG 9.3.
libraries/lib.inc.php: Rename PPA version from 5.1 to 5.2-dev.