.gitlab-ci.yml: Update the CI to run the linter separately through tox

This should save us some cycles in CI, and also allow the
developer to more conveniently lint separately from testing.