v0.2.0

Basically: much lighter code, nicer plain-text output, a lot of refactoring.

Minimum viable functionality

Basics of proving, reporting the proof search process, and LaTeX generation in case a proof has been found.