bugfix: skip lint when KB has no indexed documents#21

KylinMountain merged 2 commits intomainVectifyAI/OpenKB:mainfrom

fix/lint-empty-kbVectifyAI/OpenKB:fix/lint-empty-kbCopy head branch name to clipboard