src/Tools/Find_Facts/web/elm.json

don't early error on SMT_Failure.Other_Failure

Otherwise, `by (smt A | metis B)` would fail if `smt A` fails with Other_Failure, even if `metis B` would succeed.

{
    "type": "application",
    "source-directories": [
        "src"
    ],
    "elm-version": "0.19.1",
    "dependencies": {
        "direct": {
            "Dacit/material-components-web-elm": "1.0.0",
            "elm/browser": "1.0.2",
            "elm/core": "1.0.5",
            "elm/html": "1.0.0",
            "elm/http": "2.0.0",
            "elm/json": "1.1.3",
            "elm/time": "1.0.0",
            "elm/url": "1.0.0",
            "elm-community/array-extra": "2.6.0",
            "elm-community/basics-extra": "4.1.0",
            "elm-community/dict-extra": "2.4.0",
            "elm-community/html-extra": "3.4.0",
            "elm-community/json-extra": "4.3.0",
            "elm-community/list-extra": "8.7.0",
            "elm-community/maybe-extra": "5.3.0",
            "elm-community/result-extra": "2.4.0",
            "elm-community/string-extra": "4.0.1",
            "hecrj/html-parser": "2.4.0"
        },
        "indirect": {
            "elm/bytes": "1.0.8",
            "elm/file": "1.0.5",
            "elm/parser": "1.1.0",
            "elm/regex": "1.0.0",
            "elm/svg": "1.0.1",
            "elm/virtual-dom": "1.0.3",
            "rtfeldman/elm-hex": "1.0.0",
            "rtfeldman/elm-iso8601-date-strings": "1.1.4"
        }
    },
    "test-dependencies": {
        "direct": {},
        "indirect": {}
    }
}