Checking for UPPAAL installation

Better handling of UPPAAL installation: check that UPPAAL verifier is present (exists()) and then if verification fails, return an error.

added AQUAS Formal verification GUI labels

Resolved in commit master 0195182d

closed