Turns out instead of adding it to the README, Gitlab offers something
much nicer: displaying badges at the top of the project, with the
general metadata.