Revisit metrics and tracing test properties

They are named `spring.test.metrics.auto-configure` and `spring.test.tracing.auto-configure` respectively but we'd like to rename them to `spring.test.metrics.export` and `spring.test.tracing.export` for consistency.

As part of this, we should also document the removal of `spring.test.observability.auto-configure`.
