Added a concurrent planner. Added interface for goal solvers, so that we can easily choose between which planner/solver to use.