Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version

Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version #274