Add proof previews screenshots to repository