Change current time from uint64_t to double in Date Port API#1023

akosthekiss merged 1 commit intojerryscript-project:masterjerryscript-project/jerryscript:masterfrom

akosthekiss:port-date-double-timeakosthekiss/jerryscript:port-date-double-timeCopy head branch name to clipboard