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>

use of soft_filters from device_manager is partially written.
The device_manager connects with soft_filters service, shares memory with them.
The code compiles and patially works. The missing link is:
* When get_port call comes, it is not translated into filter_registration.
* When callback from register_filter comes, it is not translated into
return call informing success/failure of get_port call.
* A queue_manager_closure for every queue_manager is not yet created

newlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in format strings

Again this is needed because newlib defines uint32_t as unsigned long.
(In retrospect, I should just changed newlib's uint32_t to unsigned int)

Checkpoint:
compiles and boots qemu for x86-{32,64}-{newlib,freec}
Also, a couple of tests on real hardware (x86_64 only) work

Used the indent toll over most of the lwip code

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.