External sources of (league) score data

This creates a mechanism for additional league points (and league-section game points) to be assigned to teams at the competition. The source of these points is deliberately out of scope, allowing complete freedom for judges to merge in other sources of data.

Specifically: a new top level directory external may now exist, if it does then it should contain *.yaml files with content like:

scores:
  - team: ABC
    league_points: 42
  - team: DEF
    game_points: 3
    league_points: 9

No restriction is made on the number of times the data for a team may appear in a given file, nor between files.

Fixes https://github.com/srobo/tasks/issues/973

This doesn't directly address https://github.com/PeterJCLaw/srcomp/issues/17, however may provide a way to achieve a similar outcome.

See also https://github.com/PeterJCLaw/dummy-comp/pull/1 for example data.

PeterJCLaw / srcomp

External sources of (league) score data #22