Dealer software provider CDK goes public as it spins off from ADP