2009-06-01 New releases: doctools 1.0.12, cs2007q3-glibc2.5-* 1.0.12-*

Minor upgrades to doctools devkit, recompiled cs2007q3-glibc2.5-* to include additional profiling patch for arm-linux-gnueabi. Downloads from Apophis download page.