added run_phpdoc.bat