Added -nomap option to memory pass
Disabled the per-default dumping of ILANG code
Avoid verilog-2k in verilog backend
Added -S option for simple synthesis to gate logic