Wrap GAPT into a notepad

[quicquid]

Notebooks seem to be well recieved in the scientific community (e.g. for data-analysis). One of them is Jupyter which also has Scala integration. It might be worthwhile to use it with GAPT - it makes reviewing GAPT papers easier and could also be used to quickly run an ATP on a problem generated by a script. I guess the biggest issue will be sandboxing the environment that the machine cannot be taken over.