Documentation: Cleanup

Doxygen docu is now build in ${PROJECT_BINARY_DIR}/doc.
(and other small changes.)

Change-Id: I3fef910307e104f120c4f770526c800cfd01a41f

src/core/util/Demangler.hpp

@@ -11,7 +11,7 @@ namespace fail {
       /**
        * Get the demangled symbol name of a mangled string.
        * @param name The mangled symbol
-       * @return The according demangled name if found, else Demangler:::DEMANGLE_FAILED
+       * @return The according demangled name if found, else Demangler::DEMANGLE_FAILED
        */
       static std::string demangle(const std::string & name);