Merge branch 'develop' of github.com:learnmath/lysa into develop
Have PDFs be deployed on every build.
Update .travis.yml to publish a release if it's tagged.
Merge branch 'develop' into f/peano