Thumnail first approach
Some missing images added
Merge branch 'thumbnails_for_proofs' into dev