Remove trunk/ from Default Texinfo models paths.
    
    Previous to this commit, paths passed to Texinfo @include commands
    inside Default Texinfo documentation models pointed to files under a
    trunk/ directory.
    
    In this commit, I remove the trunk/ part from include paths. It is no
    longer needed when we use a Git repository layout.