install: Be a bit more efficient about compiling all .py files; only
traverse into $prefix/Mailman, which avoids all the time-consuming and
unnecessary compilation in the archive directories.