Add creation of SomeBV from runtime bit-width

[lsrcz]

This pull request adds the creation of SomeIntN, SomeWordN, SomeSymIntN and SomeSymWordN from runtime bit-width, resolves #166.

> bv 12 21 :: SymWordN
0x015

[codecov]

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (94b8e4b) 53.05% compared to head (d022021) 53.28%.

Files	Patch %	Lines
src/Grisette/Core/Data/BV.hs	75.00%	0 Missing and 2 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #168      +/-   ##
==========================================
+ Coverage   53.05%   53.28%   +0.23%     
==========================================
  Files          66       66              
  Lines        5834     5848      +14     
  Branches      447      455       +8     
==========================================
+ Hits         3095     3116      +21     
+ Misses       2292     2277      -15     
- Partials      447      455       +8     

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