added option '-Dname[=definition]' to command 'read_verilog'