Option to disable lint tooltips

Add a `disableTooltips` option for `lintWith` which, when set to `true`, will prevent the default `mouseover` event handlers from being created for both the gutter tooltips and the span tooltips in the editor itself.