travis: use PostgreSQL 9.3.