Support for hard and soft cutoffs mostly there (#6). Need to actually
allow entering times, and need to restrict the kinds of soft cutoff
formats we allow based on the round format (it doesn't make sense to
have a soft cutoff in 3 solves if the round format is best of 2).