Checking for UPPAAL installation

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