Update manual functionality:
    
        - Update manual base directory. Start using trunk/Manual/.
    
        - Remove MANUAL_DIR. Use MANUAL_BASEDIR instead. There is just one
          manual so there is no need to determine which manual-specific
          directory we are working with. It is already set in
          MANUAL_BASEDIR variable, so use this variable to reflect the
          base directory repository documentation is stored in.