Add doc for Random and TerminationHandler (#1206)

Fixes #1010

src/util/Random.hpp

@@ -24,8 +24,19 @@
 
 namespace util {
 
+/**
+ * @brief Random number generator
+ */
 class Random {
 public:
+    /**
+     * @brief Generate a random number between min and max
+     *
+     * @tparam T Type of the number to generate
+     * @param min Minimum value
+     * @param max Maximum value
+     * @return Random number between min and max
+     */
     template <typename T>
     static T
     uniform(T min, T max)

src/util/TerminationHandler.hpp

@@ -21,6 +21,9 @@
 
 namespace util {
 
+/**
+ * @brief Set a termination handler that logs a backtrace on termination
+ */
 void
 setTerminationHandler();