pymor proper no longer needs the .binder infra, this is now delegated to
the pymor/docs repo
CI now builds the base image for binder for that repo in deploys
infra alongside built sphinx html