2008-04-07 Upgraded doctools devkit to 1.0.8

New version includes a number of fixes, some additional tools and removes some that were not working properly to begin with.