Add doxygen documentation to src/util/