Revert "Make Paths_idris public for codegens to find it"

This reverts commit 0c8eb80355a4da857a788095612e11d5904d84f4.