push2: add code to render screen to PNG files for screenshot purposes