Improvements to Progvis: - Allow using `i` as a format specifier in addition to `d`. - Make sure that deadlocks are reported, even after restarting the visualized program. - Added `tid_t` type to Progvis. - Changed how atomic operations are shown to make the model checker work better with more complex use of atomics. - Allow capturing screenshots. Improvements to Storm: - Sort the output from `Url:children` for better determinism. - Better handling of GUI scale on Windows. - Allow capturing the content drawn by a painter as a bitmap. - Support saving images from the graphics library.