Ara Adkins authored Apr 11, 2019 and Ben Gamari committed Apr 13, 2019

This trivial MR updates the CI badge in the readme to point to the
new CI on gitlab, rather than the very out-of-date badge from
Travis.