[SMT-COMP] Updates to SMT-LIB benchmarks

[Clark Barrett]

Hi all,

The following fixes have been applied to non-incremental benchmarks on
gitlab and StarExec:

1. AUFNIRA/aviation/bts5878_why.smt2
- Removed commands between (check-sat) and (exit)

2. QF_AUFBV/2019_Gonzalvez/opStructure_NPT_1.smt2
- Fixed incorrect status

3. FP/2019-Preiner/*
- Added missing (set-info :status) commands

4. UFNIA/2019-Preiner/*
- Added missing (set-info :status) commands

Also, StarExec was missing some attributes for benchmarks in UFDT, QF_ABV,
and QF_ABVFP.  This has also been fixed.

If you are using any of these benchmarks, please be sure to get the latest
versions.

-Clark