Use github.com/ainghazal/minivpn instead of github.com/ooni/minivpn,
and upgrade the openvpn probe to the new (0.0.4-ish) API.