Version 1.3.1 : automatic version number and date insertion

Conflicts:
	devtools.man