[tor-commits] [tor/master] shared_random.[ch]: repair doxygen comments