cleaning up formatting
Merge branch 'gh-pages' of github.com:palexand/verified-tpm12 into gh-pages