Move Doxygen to header

Following the new coding standard.

Author: antlechner

src/util/allocate_objects.cpp

@@ -266,10 +266,6 @@ void allocate_objectst::mark_created_symbols_as_input(code_blockt &init_code)
   }
 }
 
-/// Create code allocating object of size `size` and assigning it to `lhs`
-/// \param lhs : pointer which will be allocated
-/// \param size : size of the object
-/// \return code allocation object and assigning `lhs`
 code_assignt make_allocate_code(const symbol_exprt &lhs, const exprt &size)
 {
   side_effect_exprt alloc(ID_allocate, lhs.type(), lhs.source_location());

src/util/allocate_objects.h

@@ -95,6 +95,10 @@ class allocate_objectst
     const irep_idt &basename_prefix);
 };
 
+/// Create code allocating object of size `size` and assigning it to `lhs`
+/// \param lhs : pointer which will be allocated
+/// \param size : size of the object
+/// \return code allocation object and assigning `lhs`
 code_assignt make_allocate_code(const symbol_exprt &lhs, const exprt &size);
 
 #endif // CPROVER_UTIL_ALLOCATE_OBJECTS_H