Update Lysis
Update Hippias Major
Start Ion
Format issues and minor typos
Add Ion to the Makefile
Initial notes on Ion
Merge branch 'master' into pdfs
Update Lysis notes; add Ion