part 3
Merge branch 'master' of https://github.com/junsup/cs-182-jun-tim

Conflicts:
	graphplan/planGraphLevel.py