last commit on that branch

The pseudo_ptr implementation was getting too difficult to work with.
The new branch will use the pool allocator defined in a separate project
and independent from objrdf.