get automatic timestemp into version.texi
prevent git clean from rmdir autotools, for autoreconf happiness
Merge branch 'devel' into debian