prints invoked, finished time of each target

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
explain what print_target_update_time_flag is for

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>

Conflicts:
	main.c
fixed index out of range error. if condition should be true only if it has a form of archive reference
mark this version as distinct from vanilla make

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
make profiling info stand out (until we have config)

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
profiling info on stderr; print only if it makes sense

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
'make -j' profile results

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
declare print_targets_update_time to remove warning

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
Improve the profiling output

Add make level and pid to profiling target identifier
separate start, end and delta fields using ';'

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
Profile option: -u/--update-time -> -P/--profiling

-P/--profile is a better name for profiling option
Profile option will accept parameter for ouput format

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
Added configurable profile format option

Changed -u/--update-time to -P/--profile
--profile-format will be an alias for -P

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
free up memory used by profile feature

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
make.1: Explain how -P works

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
remove the warnings generated by the new code

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>