Compiler emits spurious down-level declarations

[RomainMuller]

In certain cases, the down-leveled declarations files only differ from the original one by some white-space (usually, extra line feeds inserted in some places). This is not necessary and increases the weight of packages that otherwise could spare the down-level declarations entirely.

The compiler should compare declarations files semantically instead if possible.