Strip ///, /** and /*! from comments, and collapse "doc" attributes

Per #4.