Clogs cache

Queue-based cache for clogs, and a generic cache mechanism for vex. Actually the template-ness of object_cache is not used at the moment (only the kernel_cache typedef is) - let me know if I should de-template that.