Reddit To Go Public, Files For IPO