What is a Linter and Why Should You Use One?