Re-apply 15ca8db58d22de270c0684faae04c3a6597223f6 which got lost in a merge
Don't use a setting to disable Padrino asset stamp
Convert Gzip extension to new-style extension class