ktest should give a warning when running K file and programs is specified but extensions missing
Merge pull request #1012 from osa1/ktest-extension-eror

ktest should give a warning when running K file and programs is specified but extensions missing