Temprorarily disabled the Verilog generator

Reason: resent modifications to auto_hotkey generator and problems
related to monkey patching.
Updated lib.c
Committing lib.c ...