Added passing of various options to vhdl2verilog