Process options in includes files with the options of their junction
Description
Includes across junctions have been not really usable since projects do not necessarily have the same options. Also given we pass options through junctions, those values should be taken.
Unfortunately the options from main project cannot always be processed
in the include processing since project configuration might load
option declarations from a separate file. For that reason the result
of Include.process should still be passed through the option
processor. But all options files included from junctioned are already
evaluated.
Edited by Valentin David