GUI new features: read formula from file, save tree in file and step-by-step mode.