GIF export in Snipping Tool begins rolling out to Windows Insiders