Some work on a buffer processor stack
Sanity checks before sending and after receiving a message
Added type dispatching for BufferPool and EventList
Fixed the generation of neighbor advertisments
Added a method to allocate a buffer without blocking
Clarified the behaviour of NetworkInterfaceListener::allocateBuffer()
Comment changed
Bug fix: Initialize the list header to a null-pointer