new javadoc for Quaternion (#1725)

* Quaternion:  begin revising the javadoc

* Quaternion:  further revision of the javadoc

* Quaternion:  still more revision of the javadoc

* Quaternion:  corrections to the javadoc of 3 methods

* Quaternion:  a correction to the javadoc