Deactivate PoolAllocator and use std::allocator instead.

There are serious bugs in the implementation that cause very strange
behaviour if it is used. Until I find the bug I will leave it
deactivated.

If you want to use it despite the bugs define the USE_DUNE_POOL macro.

[[Imported from SVN: r5670]]