Make PHPDocumentor target dir configurable with phpdoc-target.dir