On-the-fly linting!

Thanks to @halohalospecial, linting is now done on-the-fly by default. If you liked the old behavior, it's available in the plugin settings. 👍