HPET: Work on modularized hpet driver

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Use debug print in assertion failure

So the failing domain name is also printed.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>