Add a custom replacement for the terminal using tkinter
Fixes #292
To work around the impossibility to use the system terminal on MacOS, this adds our own terminal window written using Tkinter.
Fixes #292
To work around the impossibility to use the system terminal on MacOS, this adds our own terminal window written using Tkinter.