'jerry_port_get_current_time' function. Microseconds was used instead of
milliseconds.
A quick fix has been done in the Yotta-based mbed port, and an extended one
- with correction - works in the mbed OS 5 port now.
JerryScript-DCO-1.0-Signed-off-by: Gabor Loki [email protected]