Add idris in PATH