Added a few different variable ordering methods to the A* search. They
can be changed using the "varOrder" flag in the config files. So far
there are max and min domain, min fscore, and dom/median costs.