Add an extended version of ctrl_alloc which permits you to provide a

custom free function, in case you need to ctrl_alloc a structure which
then has additional dynamically allocated things dangling off it.

[originally from svn r9922]