Comment 124 for bug 1386721

Update: okay, the only thing which is still annoyingly slow is the terminal output (if the system has to update/rerender the terminal because of new stdout/err text it's updated with ~1FPS :-/ The rest runs smooth ...