Improved Bookmarks

The already existing bookmark features were improved even more. You can now bookmark searched lines or changes in comparison of two files, invert bookmarks in a document, delete bookmarked lines, or extract bookmarked lines to a new file.