Allocator: Add functionality for removing an object.
Allocator: Add functionality for removing an object.

You don't often need to do this, but in CAmkES it's useful for some manual
clean up.

seL4/python-capdl-tool,seL4/python-capdl-tool