Resize images with convert

The images were too large, now hopefully their size is good.
Merge branch 'master' of github.com:bassosimone/utpintro