allow ".bin.gz" filter in update server file selector#7026

d-a-v merged 3 commits intoesp8266:masteresp8266/Arduino:masterfrom

d-a-v:updatergzd-a-v/Arduino:updatergzCopy head branch name to clipboard