Explain Upgrade paths in detail
    
    The document only explained modular filtering and without
    demodularization.
    
    This commit documents how upgrade patch are built among module builds.
    Especially a difference between static and dynamic contexts. It also
    mention modular obsoletes. Then it makes the module filtering more
    accurate and includes a demodularization.
    
    The algorithms are explained with examples.