Edit the README.
Rewrite the contributing guide.
Add blank Peano Axioms chapter.
Merge branch 'feature/backtopdf' into develop
Merge branch 'develop' of github.com:pharpend/lysa into develop