ThemeInfo: add an optional 'basetheme' element to the theme info file

This element should be the name of the theme the theme inherits from if
applicable.