[Cin] making filegif optional

Attachments:

• attachment.html (text/html — 116 bytes)
• 0001-Make-filegif-optional.patch (text/x-diff — 3.3 KB)
• 0002-filegif-conditional-in-formatpopup.C.patch (text/x-diff — 761 bytes)
• 0003-Slightly-more-conditions-in-probe-order.patch (text/x-diff — 827 bytes)