Marin Software Officially IPOs: Stock Up 20%