Remove pro-police-docs.patch from gcc as in gentoo