agdaCheck.sh: refine with comments + misc (#41)
agdaCheck.sh: refine with comments + misc (#41)

* Add comments to explain why the main script loads two different configuration
  files.
* Make the file executable on *nix systems.

Old-commit-hash: 42f9a6a08ee0b7231c0dfa87291a588f1942d697

inc-lc/ilc-agda