Add linting

Erick Hitterrequested to merge
add/linting-master into master

!6 (merged), but for the right branch (see also !7 (merged))

Merge request reports