add unifier code
actually implement the A* algorithm
fix Makefile
Merge branch 'solution'