main: Add overall duration to stat output

src/main/Main.hs

@@ -182,6 +182,7 @@ main = do
     (RefineCommand r) -> do
       stats <- initStats (refineStats r) (refineStatsJson r)
 
+      withTime stats "overall-duration" $ do
         (f, (symbolTable, encoding)) <- withTime stats "parse-duration" $ do
           readCoalgebra (refineInputFile r) >>= \case
             Left err -> hPutStrLn stderr err >> exitFailure