Warn user if the idris path points to a directory

[archaeron]

Warn user if the idris path points to a directory. Maybe with a warning that says: "The path should point to the idris executable and not the folder containing it"

see #71