Reddit finally files IPO, gives Redditors first dibs on buying stock