- add a new preference to ignore inexact results for Code Mining
  references and have this used instead of the Search preference
- fixes #370