Microsoft Edge users are getting a useful new feature that will allow them to upscale old, low-quality videos