adding reference to Bull AIX rpms c.f. #160598 Daniel * doc/downloads.html doc/xml.html: adding reference to Bull AIX rpms c.f. #160598 Daniel