Python - binder/Pipfile + Pipfile
---------------------------------
We should make ``binder/Pipfile`` take precedence over ``Pipfile``.