Consolidating examples into one README
Blocksworld problems and domains
Ignoring generated problem files and domains
Renaming problem files, fixing problem renaming
New problem files, problem generator (still debugging)
Empty progression bound function
Standardizing on 'Expr PDDLAtom'
Moving more into axioms.  Not entirely sure this is a good idea.
Relying more on axioms for blocksworld