Give Pi bindings the proper name when elaborating lambdas
Fixes #360
Merge branch 'master' of github.com:edwinb/Idris-dev