update doc

Merge pull request #67 from CederGroupHub/better-resource-manager

Better resource manager

feat(task_manager): add ResourceRequester class

using MongoDB to handle resource requests

feat(version): move to 0.4.0