[m-dev.] installed compilers

[Zoltan Somogyi]

I committed a change a week ago that added a new synonym
for the compiler_sufficiently_recent option. I would like to commit work
that requires the installed compiler to have this new name, as well as
the other changes up until then. Can everyone please install an
up-to-date compiler on their machines?

I plan to commit this diff in about 48 hours, unless someone objects.

BTW, the latest rotd was built on the 9th, so it should be sufficiently
recent.

Zoltan.