Writes a parse tree to a html file.
Defines if the tree is expanded.
Defines the details, as a list of strings, that are expanded when e is equal to Expand.ifMatch, and not expanded when e is equal to Expand.ifNotMatch. When no details are passed, each node is expanded.
The ParseTree to represent.
The file where to write the tree.