Move navigate-softtab repository into scmsources

It lacks vamkr#AddCopyHook
Add --recheck
Use set comprehension and {a, b, c} to create sets