Lint commits using gitlint
This adds a CI job called lint:gitlint
that lints commits using
gitlint (https://github.com/jorisroovers/gitlint). In addition, we
include three custom linters to help enforce good commit message
practises. For example, commit bodies may not be longer than 72
characters unless they exceed this limit due to a URL.