save profile stats to file instead of generating report

Can use an external tool like snakeviz to query them after a run.

.gitignore

@@ -10,3 +10,4 @@ dist
 pyenv
 .mypy_cache
 __pycache__
+anki.prof

qt/aqt/__init__.py

@@ -351,16 +351,10 @@ def setupGL(pm):
 PROFILE_CODE = os.environ.get("ANKI_PROFILE_CODE")
 
 
-def print_profile_results():
+def write_profile_results():
-    import io
-    import pstats
-
     profiler.disable()
-    outputstream = io.StringIO()
+    profiler.dump_stats("anki.prof")
-    profiler_status = pstats.Stats(profiler, stream=outputstream)
+    print("profile stats written to anki.prof")
-    profiler_status.sort_stats("time")
-    profiler_status.print_stats()
-    sys.stderr.write(f"\n{outputstream.getvalue()}\n")
 
 
 def run():
@@ -516,4 +510,4 @@ environment points to a valid, writable folder.""",
         return app
 
     if PROFILE_CODE:
-        print_profile_results()
+        write_profile_results()