Implement simple parsing progress indicator
Add options to avoid chains and omit conclusions in the proof format.
Add proof format without chains but with conclusions
Fix typo
Rename algorithms to make them consistent with the system description paper
Merge branch 'origin-develop' into develop