Remove ancient debugging code.
Removed unused script.
Rename 82576vf model to intel82576vf. Fixes #2. Connected it to the build.

We unfortunately get another platform dependent function. See
unix/include/service/memory.h. Suggestions for a better way to do this are
welcome.
Updated README.
Remove lots of commented out debugging printfs.
Remove some NUL leftovers.
Use posix_memalign. memalign is obsolete.
Thanks, Markus Partheymueller, for pointing this out.
Implemented OP_GET_MAC (in a trivial way) to make intel82576vf happy.
Enable building rtl8029 NIC model.
Don't spam the build log.
Remove useless typedefs in message.h
Build sata controller and disk.
Timer programming: take care that delta might be 0.
Updated .gitignore files.
Removed dead code.
Fixed warnings
Make scons understand different target architectures. Added help.
Use target=x86_32 for now. Thanks Nils for the initial work.
64-bit build fixes.
Type cleanup for 64-bit.
(Modified by Julian to be less intrusive. Don't use size_t for simple for loops.)
Fix printf warnings/breakage.

This a bit ugly, because there are no useful printf modifiers for size_t or uintptr_t, so we liberally cast them to size_t.