Install network-manager-openconnect with the following command in the terminal:
sudo apt-get install network-manager-openconnect