Version 1.3.0 : automatic version number and date insertion

Conflicts:

	devtools.man