 Display proof trees and syntactic parses in frontend

Wrangle proof trees / tableaux and design interface for the API.

- Use mock data to generate tree structure / XML
- Decide whether to keep XML or transform to another format (e.g. JSON)? Lasha could help with this. Preferably something we can type strongly.
- Bonus: fetch in frontend and display (could be separate issue)