[Agda] minor bug with symbolic links in include path

[Florent Balestrieri]

Hello,

A problem appeared in Agda 2.2.7 which I think was not there in the 
previous version.

Whenever I try loading a file located in a symbolic link to a directory,
Agda produces the message:

eval: End of file during parsing

and no syntax coloring is performed.

However, modifying the variable `agda2-include-dirs' by replacing the 
links by their destination solved the problem.

All the best,
-- Florent