* evaluation results are too conservative w.r.t. f_max
* adding new --optimization flag for import task that defines gcc-like
  opt levels, which activate different synth + pnr options
* Tcl does not work yet