There is no more need for a private copy of printf.

Note that calling printf() currently works only from the rump kernel.
In "userspace", you still need to call printk().  Me be fixink this.
put files logically belonging in lib also physically there
verify that we support the hypercall versions
Header purge.

Get rid of the <mini-os/arch_foo.h> compat headers and require that
users include <mini-os/machine/foo.h>
Use locales from libc, remove private copy.
important disclaimer
Use objdirs for lib{c,m}

also, some cleanup
remove lib/math.c, obsoleted by libc