Make idris-mode work with 0.9.12 again
Make whole-buffer-loading in 0.9.12 prettier

This makes the visual status of the loaded region the same as with 0.9.13.
Properly respect the setting `idris-metavariable-show-on-load`
guard idris-load-file-sync also with a stringp
Merge pull request #166 from hannesm/issue/163

Issue/163