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>

lib/gmp: Remove from tree

Eclipse has an optional dependency on gmp to provide its `big` data
type. However, none of Barerlfish's Eclipse programs make use of that
type. This patch removes support of gmp from the source tree as it is
hard to maintain and not used by any other program or library.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

eclipseclp: Implement basic rounding control for aarch64.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

eclipseclp: Extract SIZEOF_* definitions into header file.

Eclipseclp requires to know the size of various types at compile time. Normally,
the configure target takes care of creating the correct entries in various
config.h files. As we do not run configure on Barrelfish, we have to define
them manually.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

eclipseclp: Link against gmp.

Requires a quirk to add the gmp directory to the include path.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

eclipseclp: update config.h

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

eclipseclp/Kernel: start with default config.h

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>