Add Envy theme to themes.json