Update doc for installing pygments plugin