Added the notes by Dennis and Hoang concerning dimension functions
Moved Grothendieck duality to a 'past seminars' section