Add recipe for the deftheme version of darkmine
Merge pull request #1871 from pierre-lecocq/darkmine-theme_recipe

recipe: deftheme version of darkmine