-------------------------
- A new Productions class has been introduced to allow a nicer HTML
representation of grammar productions.
- Added the Graph.neighbors method (to iterate on adjacency lists).
- Made Tree iterable (to allow for root and children unpakcing).
- Major code reformatting (now 2 spaces are used instead of 4).
- Cosmetic fixes (removing some stale imports and commited files).
- Now docs point to Gitpod (Binder is completely gone).