using PersefoneDesktop
# TODO: currently all important GUI functions that should be
# precompiled must be called manually, and then the GUI must be closed
# manually. It would be good if this could be completely automated.
launch()