Create WSDL files from PHP classes