Cleaning the src/ dir by moving the .tex files out of it and two
unused programs.
3 patches for repository http://darcs.net/screened:
Tue Feb 15 12:04:16 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com>
* remove irrelevant microbench.hs
Tue Feb 15 12:17:58 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com>
* move manual .tex files from src to doc/src
Tue Feb 15 12:38:24 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com>
* remove unused stringify.hs