irace_cmdline function

Launch irace with command-line options.