Python - binder/Pipfile + Pipfile
---------------------------------

We should make ``binder/Pipfile`` take precedence over ``Pipfile``.