added user's guide and new requirement
Merge branch 'master' of https://github.com/pawel-k/graph-planner