RoboPlanner: a pragmatic task planning framework for autonomous robots. Issue 1 (2nd March 2020)