ghc_timings.py: Include Renamer/typechecker phase

Previously this phase was excluded because the slash in the phase name prevented the regex from matching.

ghc_timings.py

@@ -16,7 +16,7 @@ class Timing(typing.NamedTuple):
 
 def parse_timings_raw(s: str) -> Iterator[Timing]:
     """ Parse timings from -ddump-timings """
-    for m in re.finditer(r'([\w \d]+) \[([\w\d_\.]+)\]: alloc=(\d+) time=(\d+\.\d+)', s):
+    for m in re.finditer(r'([\w \d/]+) \[([\w\d_\.]+)\]: alloc=(\d+) time=(\d+\.\d+)', s):
         phase = m.group(1)
         module = m.group(2)
         allocd = int(m.group(3))
@@ -25,7 +25,7 @@ def parse_timings_raw(s: str) -> Iterator[Timing]:
 
 def parse_timings_raw_verbose(s: str) -> Iterator[Timing]:
     """ Parse timings from ghc -v """
-    for m in re.finditer(r'!!! ([\w \d]+) \[([\w\d_\.]+)\]: finished in (\d+\.\d+) milliseconds, allocated (\d+\.\d+) megabytes', s):
+    for m in re.finditer(r'!!! ([\w \d/]+) \[([\w\d_\.]+)\]: finished in (\d+\.\d+) milliseconds, allocated (\d+\.\d+) megabytes', s):
         phase = m.group(1)
         module = m.group(2)
         time = float(m.group(3))