set 8.0.1 release date to July 17, 2013
support for Debian 7.0 (wheezy) noted in the manual
Merge branch 'V8_0_1-branch' into V8_0-branch

Conflicts:
	doc/version-history/8-0.history.tex
Merge branch 'V8_0-branch' into V8_1_0-branch
Merge branch 'V8_1_0-branch'