Generate WSDL files from PHP classes