Implement the derivative of the map from the orthogonal matrices to the unit quaternions

Needed for projection-based finite elements.

This patch also adds a unit test.  So far this test passes.