Entry point for the Vadere GUI.