introduce option()s for backends to easily disable them#53

Hugobros3 wants to merge 1 commit intomasterAnyDSL/runtime:masterfrom

toggleable-backendsAnyDSL/runtime:toggleable-backendsCopy head branch name to clipboard