[pacman-dev] PATCH: Fix bug 9395 (allow sync to remove unresolvable packages if user wishes)