​Alibaba said in a filing on Wednesday that Banma, a smart car supplier that the company backs, will list shares on the Hong Kong Stock Exchange.