launch_elaborator       Launches the elaborator application
