Specify PostgreSQL version for Travis CI