Until now, my institute was using CheckPoint VPN, which was not easy
to install within Arch. However, our institute has recently changed to
FortiClient VPN, so all the trouble of installing CheckPoint is no
longer necessary.

With this commit, the CheckPoint VPN installation steps have been
removed and are replaced by a simple call to install FortiClient VPN
with a simple AUR command.