enhancement: faulthandler now outputs the traceback to a file instead of stderr, so now the debuginfo should be accessible in situations like #24.