A group of ex-NSA and Amazon engineers are building a ‘GitHub for data’