Add pictures, fix demo-env
Merge branch 'master' of github.com:maximedenes/coq-8.5-demo
Add picture for Thomas