Try to set up Einstein puzzle via forward chaining

This set of commits creates a new unit test for the pattern matcher.  It implements a simple-minded forward-chainer to solve the Einstein puzzle.