For some reason, pip used to work without write access to the source
directory, but doesn't anymore; so from now on we'll copy the source
somewhere writeable.
This solves the permission issues we had with private directories
not being available in docker; so swhclean is no longer needed.