utiasASRL/batch-informed-trees — pull request #5 by gammell (2014-11-12 14:09:27+00:00)
Title: Sync to ompl/ompl master

Merging the ompl/ompl master into the batch_informed_trees branch.