After years of speculation, Dropbox reportedly files to go public