Fix the conversion of time option in PUTNOTIF
	from timestamp to cdtime_t
cmd PUTNOTIF time option: handle double values.
Merge pull request #644 from manuelluis/mlsr/putnotif-fix_time

Fix the conversion of time option in PUTNOTIF from timestamp to cdtime_t