Allow URL highlighting to be turned off via a preference. Fixes #1

This PR introduces a setting "highlight_urls" that defaults to True, but can be set to False to disable URL highlighting.