Make coreir-verilog inline a generic option

Making inline verilog through coreir an option, rather than its own
compilation target.

magma/compile.py

@@ -80,6 +80,8 @@ def __compile_to_coreir(main, file_name, opts):
             cmd += f" -o \"{split}/*.v\" -s"
         else:
             cmd += f" -o {file_name}.v"
+        if "inline" in opts and opts["inline"]:
+            cmd += " --inline"
         subprocess.run(cmd, shell=True)
 
 
@@ -108,12 +110,6 @@ def compile(basename, main, output='verilog', **kwargs):
         write_file(file_name, 'fir', firrtl.compile(main))
     elif output == 'coreir':
         __compile_to_coreir(main, file_name, opts)
-    elif output == 'coreir-verilog-inline':
-        # underscore so our coreir module doesn't conflict with coreir bindings
-        # package
-        from .backend import coreir_
-        coreir_.compile(main, file_name + ".json")
-        subprocess.run(f"coreir -l commonlib -i {file_name}.json -o {file_name}.v --inline", shell=True)
     elif output == 'dot':
         write_file(file_name, 'dot', dot.compile(main))
     else: