Background restructuring of documentation handling, in preparation for documentation popover.
Backend API for adding and removing documentation. Reimplemented another 10.7-only NSFileManager method for 10.6.