Use theme name in generated settings.json. Fixes #55