phpdoc: use cheerio instead of jquery, to support non-GUI environments