shell: run a command with the specified arguments usage: shell --basedir=BASEDIR -- EXECUTABLE_PATH [args...]