Merge branch 'fix/andre/test.sh-follow-symbolic-links' into 'master'

[dev] allow bin/test.sh to work with symbolic links

See merge request frama-c/frama-c!4766