Some more information in the log.
Added a test-runner for the att1.py solver.

The test-runner automatically generates a number of test sentences and
runs them through the solver. I'm planning to use this to test a number
of heuristics and parameters in order to semi-automatically decide on a
approach.