turn list of platforms into a list of links in INSTALL