[rtai] [update] urt_time is now long long

int64_t is long on 64 bit machines while its long long on 32 bit ones.
This caused confusion for printf.

Signed-off-by: Shahbaz Youssefi <ShabbyX@gmail.com>
[doc] update to 0.3.0

Signed-off-by: Shahbaz Youssefi <ShabbyX@gmail.com>