Add comment in generated verilog saying how it was created

It'd be useful for debugging if the generated verilog included a comment at the top saying how the file was generated. Something like:

// Generated by XLS:
// codegen_main --generator=combinational foo.ir