Rename proof extensions
Update readme
Change SBT command from "compress" to "skeptik"
Delete blank lines