Forces shutdown and restart of MongoDB if it is already running. Makes it more robust.
[Fixes bugs 75 and 76] Update to the scripting API, fixing many issues.
[Fixes bugs 75 and 76] Update to the scripting API, fixing many issues.
Merging changes
Updated version number