Provide a list of the top 40 IBM mainframe products from IBM sorted by popularity. For each mainframe product include a brief description, the URL for the official GitHub repo, the URL for the official website, and the URL for the official documentation. Answer using MediaWiki format.