Ignored .knuth-out and vim garbage.
Removed garbage files.
Renamed jacksons.PNG for consistency.

I also chmod'ed it to make it non-executable.
Moved images to img directory
Merge remote-tracking branch 'upstream/master'
Added formal SJF proof.
Revised EDD proof, TODO'd a formal proof
Merge pull request #6 from mwhittaker/CS-3420-proofs

Cool updates, the proof looks beautiful