Enhance logging - add millisecs (add %f specifier for timestamp-format) #515

Job	Run time
Check if misc/runautotools needs to be run	13s
Check if misc/makedepend needs to be run	32s
	45s

Provide feedback