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