experimenting with boost::ptr_vector

Decided against the use of shared pointers and implementing boost
pointer vectors instead.
Will probably be very disappointed.