This PR introduces the supervised buffer, which is a type of buffer used together with velocypack in query processing to account memory automatically instead of having to do it by hand in every function, so everything's centralized in one place. Yet, one must still avoid accounting for memory twice inside the code for now (to be changed)