Add option to run compiled code in strict module

Summary:
Currently there's no good way to run a one-off script in a strict module inside of Cinder, where doing so with static Python will unlock extra optimization opportunities.  This enables that with:

`./python -X jit -OO -m compiler --strict --static Tools/benchmarks/richards_static.py`

Reviewed By: carljm

Differential Revision: D28270863

fbshipit-source-id: f679a0e

Author: DinoV

Lib/compiler/__main__.py

@@ -5,10 +5,17 @@
 import marshal
 import os
 import re
+import sys
 from dis import dis
 
 from . import pycodegen, static
 
+try:
+    # pyre-ignore[21]: Could not find a module corresponding to import `cinder`.
+    from cinder import StrictModule
+except ImportError:
+    StrictModule = None
+
 # https://www.python.org/dev/peps/pep-0263/
 coding_re = re.compile(rb"^[ \t\f]*#.*?coding[:=][ \t]*([-_.a-zA-Z0-9]+)")
 
@@ -57,6 +64,7 @@ def open_with_coding(fname):
     default=-1,
     help="set optimization level to compile with",
 )
+argparser.add_argument("--strict", action="store_true", help="run in strict module")
 args = argparser.parse_args()
 
 with open_with_coding(args.input) as f:
@@ -93,4 +101,11 @@ def open_with_coding(fname):
         f.write(hdr)
         marshal.dump(codeobj, f)
 else:
-    exec(codeobj)
+    if args.strict and StrictModule is not None:
+        d = {}
+        mod = StrictModule(d, False)
+        d["__name__"] = "__main__"
+        sys.modules["__main__"] = mod
+        exec(codeobj, d, d)
+    else:
+        exec(codeobj)