fixed tickless idle mode: issue was with interrupt priorities and with re-load of register value right after start of processor.
library cleanup
optimization of tickless mode: no global variable used for ARM SysTick mode
updated robo lib
updated RTOS examples with tickless mode