Document how to release memory

[rillig]

There are many functions that allocate memory. Each of these functions must document the corresponding destruction function. This ensures that all memory is properly freed and (if necessary) overwritten to protect confidential data.

The necessary infrastructure has been added in 5a7693fe92dd77e586042abda0c5cd3387252230.

[LBiv]

Will do!