Clipboard fix that works on linux AND osx
Added tab renaming plugin
Added key mapping for turning of search match highlighting