Add property giving the last match for which we have the score.

This for the moment deliberately overlooks the posibility that we
might be missing the scores for an earlier match. This issue will
be resolved by the validation stage, and doesn't really affect the
consumption of this information.
Add a warning about any missing scores.

While it's valid to have some scores not present, it's not something
we would consider normal. A warning covers this well.

Change-Id: Ic29205b8cd1c3d7b3479de3af0cdb174ac41a53e
Add some documentation comments on validation functions.

Change-Id: I91e74efbdeee562b32f529c28969a81b537dd2fb
Extend the README to contain useful information about the repo.

Both for new developers and for documenting what's here.

Change-Id: I7c6419dcb4aaf3ae930536f82b1a65deeb759689
Add an initial schedule format converter.

This reads a file in the format output by Jeremy's SMT solver and
emits a YAML dictionary with a single 'matches' key. This key has
the same children as is expected in schedule.yaml.

Change-Id: I123ce179db94ca102db08d83234abc882afd490f