GitLab

It is now

  --enable-timing
  --enable-redirect
  --with-papi

instead of the more confusing

  --with-ftimings
  --with-redirect
  --disable-papi

For once, the --with versions of timing and redirect could not cope with
--with-timing=no, --with-redirect=no (this was interpreted like =yes).
Also, --with switches are supposed to be for optional dependencies on
other software, not for configuring optional parts of the software
itself.

Only one .info file can be "packaged" at a time, so do it that way.
This should fix the spontaneous "total_coverage" build failures.

The optional build via "--enable-assumed-size-arrays" is also
tested in the CI