Include Coq demo screenshot
Change transition images
Add overlays in proof overview