Added some notes on installing PostgreSQL on Ubuntu.
Added Coq to the programming language notes.