[gentoo-hardened] SELinux base policy rev 13 in hardened-dev

[Sven Vermeulen]

Hi folks,

I've released revision 13 of the base policy, which includes a bump of all
packages related to it, as one of the most-used interfaces has been changed
and apparently it isn't sufficient to reload the modules. That also means I
need to think of a way to properly handle such cases in the future, not that
it is complex, just something that needs to be managed ;-)

Anyway, changes in r13 since r12:

<no bug>        Allow wpa_cli to read release files in /etc (find out which
		distribution it runs in)
<no bug>        Allow udev_tbl_t managers to search through udev_var_run_t
		needed for /run/udev
<no bug>        Update on python3 support within doc generation
<no bug>        Use gnome_xdg_config_t for gnome ~/.config/gtk-* stuff
<no bug>        Support wake_alarm and epollwakeup capabilities (backport)
#379879         Support phpfpm_t domain
<no bug>        Support search on all web content within apache (interface)

Wkr,
	Sven Vermeulen