Bugfix in "techmap -extern"
Improved verilog output for ordinary $mux cells
Be more conservative with printing decimal numbers in verilog backend
Fixed a va_list corruption in logv_error()
Implemented simplemap support for "techmap -extern"