Fixes for visual studio.  Move LTLProblemDefinition into control namespace.  Performance improvements for LTL planner
Fix seg faults in LTLPlanner
Fix more seg faults and memory leaks in LTL planner
Fix memory leak in triangle decomposition