workspace_tools/patch.py: Removed unused file

I do not think this file should have been part of the public repository.