Minor changes (improvements?) to our psql prompt