Adding E-KRHyper theorem prover
sysklogd: Don't remove /dev/log when syslogd exits

This messes up systemd-journald.
make pythonPackages self-referential