leak-detective: Whitelist functions of the Ada runtime related to Tasking