Fix cpa_cloud.py.
It now uses the new interface to the VCloud client
that allows to pass command-line options even with spaces
and without escaping problems.
The program file still needs to be past as the last argument.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15022 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c