add user configurable timeout for lint_on_edit

Add support for a `lint_on_edit_timeout` config property. Allows users to easily define a longer duration to wait before automatically re-linting.