Update documentation for shift to PostgreSQL 9.3