agdaCheck.sh: add warning not to invoke it somewhere other than $PWD
agdaCheck.sh: add warning not to invoke it somewhere other than $PWD

Old-commit-hash: 17070390c96237d3179f45f325e56d2288568b68

inc-lc/ilc-agda