openconnect: update to 7.02.