Re-wrote {plus,minus}SavedSelection procedures
Merge branch 'devel' of github.com:jjatria/plugin_jjatools into devel
Procedures now don't change selection. Added documentation for working versions of {plus,minus}SavedSelection