Fix that syntax errors were not properly shown when using proxy module.

For clarity, this module allows working in the dev repository without
having to modify your pythonpath.
Also renamed the module for clarity.