Branch commit. First experiments with shared_ptr. There is a crash on exit due to deallocating the NullDomain object twice. (One from shared_ptr and once in global destructors)
branches/more_shared_ptrs_from_1812/escript/src/AbstractDomain.cpp