Simplify/tidy array_allocator and array_deleter
Correct typo in shared_array documentation