[chisel5] Delete Experimental SFC Backends

Delete experimental backends only supported by the SFC and IR they
introduced.  This roughly covers three features:

  - RTLIL backend
  - BTOR2 backend
  - DefRandom non-standard FIRRTL IR node

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>