Update seed7 to latest version. Tighten Makefile. Drop unneeded patch.