[RFC] expose `strip-internal-attrs` option to cli-based interface

[github-4o]

main from cli.py calls back.verilog.convert. the letter has strip-internal-attrs argument, which makes generated verilog more readable. it is currently impossible to generate verilog code without excessive comments and attributes from cli as strip-internal-attrs can't be passed down to back.verilog.convert.

suggested solution:
add cli key -s or --strip-internal-attrs to cli-based interface, that is passed to back.verilog.convert

[github-4o]

duplicate to #572