Software maker plans to trade on the Nasdaq under the symbol “PONY.”