What Is a Linter? Here's a Definition and Quick-Start Guide