back.verilog: allow stripping the src attribute, for cleaner output.