no, but you do not need any exe's to do so, you can use php functions to get the text content of a pdf (http://www.webcheatsheet.com/php/reading_clean_text_from_pdf.php) and then you can change "function results($data, $form)" in Page.php to add items to the results based on what you find.
foreach ($arrPDFs as $pdf)
{
$p = new Page();
$p->Title = "Title"; //update with value from current pdf
$p->URLSegment = "URLSegment"; //update with value from current pdf
$p->Content = "Content"; //update with value from current pdf
$p->Name = "Name"; //update with value from current pdf
$p->Relevance = 1;//not sure about this one
$p->CanViewType = 'Anyone';
$data['Results']->push($p);
}