Beijing-based cryptocurrency mining company Bitmain has let its IPO application on the Hong Kong stock exchange lapse, according to…