Reinsertion of doxygen headers

Reinsertion of doxygen headers that got lost in license changes