PHP Library to generate WSDL content from classes