Your comments

This would also be great for plugin developers.

They could use a custom theme file for overriding the changes that their plugins use. One such plugin that messes too much with the theme file (alpha, but still) is the ColorHighlighter plugin. It has to put in a unique entry into the theme file for each color code it finds. This ends up making the theme file look like a mess.