a GUI for Choco3 (wip)