Document changes to the package system.
A nice side effect of the relaxed restrictions is that the
-ignore-package flag is no longer required when compiling a package
(unless the package is "base", and even in that case we might be able
to get away with -hide-package base). For now, I've removed
references that talk about using -ignore-package when compiling a
package, and simplified the documentation for -ignore-package.