Fixed Doxverilog version in README