Feature/commandline 77604934

Adds a command line for exporting .mu files from the shell.