In Serialized goal, get the options direcly from ExtInfo, rather than
relying on the compiler.  This is because a compiler might contain many
ExtInfo's.

This correction allows determining whether to serialize in different
ExtInfo's of the same compiler, particularly in multi-stage
compilations.