add doxygen docs for astobj.h (bug #4145, with minor mods)