Curryst 0.5

• Renamed the proof-tree function to prooftree.
• Renamed the prem-min-spacing argument to min-premise-spacing.
• Renamed the horizontal-spacing argument to vertical-spacing.