A simple script to manage different openconnect profiles.