Candy Crush makers King Digital Entertainment have decided to take the company public after filing IPO papers on Tuesday .