Process options in includes files with the options of their junction

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.

This is a backport of Valentin David's work from 86f013dbffa87692250ce1aefd31cecd1559ddd5
19 files changed