start conversion of boost:shared_ptr to std
Finish conversion from std::shared_ptr to std::
Performance diary updates
Merge pull request #313 from linas/atomspace

convert boost:shared_ptr to std::shared_ptr