The Graphical Interactive Shell of IDP