Added net_queue_manager interface, and changed the code accordingly in all drivers, ethersrv, lwip and applications.
Used the indent toll over most of the lwip code
Fix tcpip.c.
Merge from ASPLOS tree.
Initial version of public stable barrelfish repository.