Add option to generate header comment without cheby version

[lorenzschmid]

Add option to --header argument to generate header comment without cheby version but including cheby arguments:

• none: No header generated
• args (new): Print the arguments with which cheby was called:

  // Do not edit.  Generated by cheby using these options:
  //  --input=reg.cheby --gen-consts=reg_consts.sv --consts-style=sv --header=args
  

• commit: Print the arguments as well as the cheby version:

  // Do not edit.  Generated by cheby 1.7.dev0 using these options:
  //  --input=reg.cheby --gen-consts=reg_consts.sv --consts-style=sv --header=commit
  

• full: Print the arguments, cheby version as well as user and time of generation:

  // Do not edit.  Generated by cheby 1.7.dev0 using these options:
  //  --input=reg.cheby --gen-consts=reg_consts.sv --consts-style=sv --header=full
  // Generated on Thu Oct 03 14:51:04 2024 by schmid
  

[tgingold-cern]

Thanks!