Restore compatibility with 0.9.12

This patch, plus removing the metavariable command from the load success hook, makes things work again with Idris 0.9.12.

I believe it supersedes #164, and does the same thing somewhat more elegantly, as it ensures that as much of the same code path is called as possible.