small changes made in theme_translations.py
Merge branch 'mongokit' of https://github.com/gnowledge/gstudio into mongokit
Merge pull request #728 from supriyasawant/mongokit

minor change made in theme translation script