Move output fname to somewhere we can deal with it
Add a name for an input file.
Add some error handling
Run solver; handle errors
Delete transient files on exit
Add parser for Z3's get-model output.

Doesn't really parse it, it just reformats it into something less
rubbish.
Fix a constant
Work through pumping awk output.
Read and print (a little) the match schedule.
Store the data we're dealing with.
Direct a status message to stderr
Print schedule in the accepted format.
Fix assertions; all these things can be zero
Newlines are generally useful.