Optimisation options

--partial-eval and --no-partial eval (former is the default)
-O[0-3] now set packages of optimisation options (although the only one
currently existing is partial-eval, which is set at levels >=2)
Default -O2