doc(*): add doc
test(CoqFinders): fix typo
chore(grunt): add watcher for testing in dev env