Add infrastructure for integrating BTOR2 interpreter into Calyx (#1972)

Add infrastructure for integrating BTOR2 interpreter into Calyx (#1972) #688