added images to export guide, finished user docs,..

I added 9 images to the Exporting to CSV guide (42.3), which have been
optimised. I also added more to the technical documentation, and started
to implement the "%% include" business.

As part of 42.3, I actually exported some random form results to
42.3-data.csv and 42.3-data.mht.