- Move benchmarks mixing Int and Real to non-standard
- Move benchmarks containing not-strictly linear expressions to
  QF_NRA

For the sake of syntax highlighting

Change logic of these benchmarks according to the output of
Dolmen and yices2. Yices2 was used for a few very big benchmarks.

- 1 non-incremental/AUFBV/20210301-Alive2 benchmark
- 189 non-incremental/QF_LIA/2019-ezsmt benchmarks
- 147 non-incremental/QF_LRA/2019-ezsmt benchmarks
- 1 non-standard/non-incremental/QF_ALIA/20190429-UltimateAutomizerSvcomp2019
    benchmark