modelsim.py: fixed worklib generation and output file generation for verilog files
modelsim.py: fixed worklib generation and output file generation for verilog files

ahartel/brick,electronicvisions/brick,electronicvisions/brick,ahartel/brick,ahartel/brick,electronicvisions/brick