Merge pull request #160 from anujag/mongokit

forum name added to thread details
Functions addded to HistoryManager.
Merge branch 'mongokit' of https://github.com/gnowledge/gstudio into mongokit-adev
Merge pull request #161 from AvadootNachankar/mongokit

Functions added in HistoryManager class
Removed Unnecessary imports
Merge pull request #162 from sunnychaudhari/mongokit

Removed Unnecessary imports from userDashboard.py
Hook up node tags to cards
Merge pull request #163 from planemad/mongokit

Hook up node tags to cards + CSS updates
Article header adjustments
Admin interface for manage users
Merge pull request #164 from Dhiru/mongokit

Admin interface for manage users
Print statements removed/commented.
Contributors and Versions(replaced Changes) updated with proper values.
Merge branch 'mongokit' of https://github.com/gnowledge/gstudio into mongokit-amn-edv
Merge pull request #165 from AvadootNachankar/mongokit

Page-list view: Contributors and Versions(replaced Changes) updated with proper values
Theme updates
Merge branch 'mongokit' of https://github.com/gnowledge/gstudio into mongokit
Fix layout of edit node page
Fade sidebar on no mouse activity
Style updates on node-detail page