sel4utils: add RPC ltimer

This commit adds an ltimer implementation for calling out to an endpoint
for timer operations. It also provides a function for an RPC server to
call to forward the request to another, server-side ltimer and
return an appropriate message.