Adds Toplevel instance of Tkinter for formula editor. Added some file-reading logic for the formula editor