Specify version 3.1 while installing OpenSSL using brew.

[ghost]

Right now, the CircleCI job on macOS uses OpenSSL 3.0.1:

Warning: openssl@3 3.0.1 is already installed and up-to-date.
To reinstall 3.0.1, run:
brew reinstall openssl@3

-- Found OpenSSL: /usr/local/opt/openssl@3/lib/libcrypto.dylib (found suitable version "3.0.1", minimum required is "3.0")

However, OpenSSL 3.0.1 seems broken:

oqs-provider/scripts/runtests.sh

Lines 139 to 143 in 5250576

	# Disable testing for version 3.0.1: Buggy as hell:
	if "${OPENSSL_APP}" version | grep -q "OpenSSL 3.0.1"; then
	echo "Skipping testing of buggy OpenSSL 3.0.1"
	exit 0
	fi

This leads to the following no-op test:

Test setup:
LD_LIBRARY_PATH=/usr/local/opt/openssl@3/lib
OPENSSL_APP=/usr/local/opt/openssl@3/bin/openssl
OPENSSL_CONF=/Users/distiller/project/scripts/openssl-ca.cnf
OPENSSL_MODULES=/Users/distiller/project/_build/lib
DYLD_LIBRARY_PATH=:/Users/distiller/project/.local/lib:/usr/local/opt/openssl@3/lib
No OQS-OpenSSL111 interop test because of absence of docker
Version information:
error registering dilithium2 with no hash
OpenSSL 3.0.1 14 Dec 2021 (Library: OpenSSL 3.0.1 14 Dec 2021)
error registering dilithium2 with no hash
Skipping testing of buggy OpenSSL 3.0.1

CircleCI received exit code 0

This commit tells homebrew to install at least OpenSSL 3.1.

This change should allow scripts/runtests.sh to fully run again on macOS.

[baentsch]

Didn't know one can request openssl@3.1 from brew--actually wonder why "...@3" doesn't take the latest (i.e., 3.1). But what the heck. This LGTM. Thanks!

[ghost]

Didn't know one can request openssl@3.1 from brew--actually wonder why "...@3" doesn't take the latest (i.e., 3.1). But what the heck. This LGTM. Thanks!

In fact, @3 should tell homebrew to pick the latest version, however HOMEBREW_NO_AUTO_UPDATE prevents brew from fetching the latest version…
I'm trying without right now.

[ghost]

@baentsch it seems that it fixes the no-op test on macOS: CircleCI job.

Do you agree with the deletion of HOMEBREW_NO_AUTO_UPDATE=1?