When did the new minecraft launcher come out