Treat 'devel/*' branches as 'master' in the ThemeChooser

If we assume that devel/* branches are up to date with master,
this will allow devel/* users to download and install themes
if they choose.