add support for non-sbcl cert-param, add non-allegro cert-param to oslib/file-types