add -codegen and -nocheck to options in natlab.main
there is one thing to note, the arguments we pass to tamer and back end,
like dbl&1*1, should be embraced in double quotes, like "dbl&1*1", if
not, ampersand (&) means command end in terminal...should we find a
better delimiter?