envsetup.sh: include top CLOOGISL path as well