make toolchain docs obsolete
fixed TODO in the WOFS documentation
updated version.h for consistency
set the date of release to 04.04.2013