docs: def ToolMatches(tools=None, version='HEAD'):
      """ Get the tools paths and versions that were specified """
      matches = []
      if tools:
          for tool in tools:
              match_version = version
              if tool[1] != '':
                  match_version = tool[1]
              match = ''
              if tool[0].endswith('/'):
                  match = tool[0][:-1]
              elif tool[0] != '.':
                  match = tool[0]
              if not match.startswith('/') and match != '':
                  match = '/'+match
              matches.append((match, match_version))
      return matches