Make .bs and .bsv support all the same pragmas, particularly verilog synthesis pragmas

[bpfoley]

The BSV pragmas are defined in the BSV parser in Parser.BSV.CVParser.attribute2modpprop:
https://github.com/B-Lang-org/bsc/blob/master/src/comp/Parser/BSV/CVParser.lhs#L5067

The BS pragmas are more limited and are defined in Parser.Classic.CParser.pPragma:
https://github.com/B-Lang-org/bsc/blob/master/src/comp/Parser/Classic/CParser.hs#L604

These should be unified.

Clqssic supports the interface renaming pragmas, but these aren't documented.

Notably, clocked_by, reset_by, default_clock_osc, default_reset and default_clock_gate are missing from Classic.

Attached is an example test case.
ClassicPragmas.bs.txt

[quark17]

See Discussion #616 for some details on addressing this issue