floats in can have a leading '+'
spelling
add date/time of generation, full path of model file, and its md5
Merge branch 'master' into distributed

Conflicts:
	utils.ml
	utils.mli