#180389 by merlinofchaos: add hook_theme_registry_alter() for devel module and friends to alter and get access to the theme registry
