Add ghci, update psql