Launch of Pragma gaming infrastructure raises $ 12 million from Greylock, Mark Pincus and others – TechCrunch