Docs and experiments update

[aletempiac]

This PR includes:

• adding a brief CMake building type guide on docs
• adding docs on write_verilog for mapped networks from emap
• updating the experiment emap
• updating the experiment extract_adders

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (6efb33b) 83.53% compared to head (0789ebb) 83.54%.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #633      +/-   ##
==========================================
+ Coverage   83.53%   83.54%   +0.01%     
==========================================
  Files         187      187              
  Lines       29837    29837              
==========================================
+ Hits        24924    24927       +3     
+ Misses       4913     4910       -3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.