libc: Implement stubbed clock()

Nadav says:
The clock() function is stubbed. We can easily implement it by calling
clock_gettime(CLOCK_PROCESS_CPUTIME_ID).

Closes #275.

Reviewed-by: Glauber Costa <glommer@cloudius-systems.com>
Signed-off-by: Raphael S. Carvalho <raphaelsc@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>