Give a bit more context for error messages

That is, say what part of what is being elaborated at the time. Still todo,
better rendering of generated names like decorated names in where blocks,
generated function types in classes and instances etc.
Merge branch 'master' of github.com:edwinb/Idris-dev