Write verilog with binding and names

[lee30sonia]

• Change the specialized version of write_verilog with binding_view into write_verilog_with_binding to correctly support PI/PO names.
• Make write_verilog_params::module_name an optional and use network's name when network has a non-empty name and this parameter is not specified.

[codecov-commenter]

Codecov Report

Merging #558 (447055e) into master (3f28140) will decrease coverage by 0.00%. The diff coverage is 89.47%.

@@            Coverage Diff             @@
##           master     #558      +/-   ##
==========================================
- Coverage   82.78%   82.77%   -0.01%     
==========================================
  Files         148      148              
  Lines       18529    18535       +6     
==========================================
+ Hits        15339    15343       +4     
- Misses       3190     3192       +2     

Impacted Files	Coverage Δ
include/mockturtle/io/write_verilog.hpp	87.67% <87.50%> (-0.60%)	:arrow_down:
include/mockturtle/views/binding_view.hpp	100.00% <100.00%> (ø)

[aletempiac]

Looks great to me! You can merge it!