Addapt Doxygen documentation to src/libstfnum