Modify some of the Early Work slides to better work with diagrams
Remove temporary files
Add diagram to slide on Perna's work
Add citations for Coq and Isabelle
Add comparison table for works on compiling Java