Checking only if "Dafny.exe" file can be found

[dvdalilue]

There's no need to check if the execute permission is granted on the "Dafny.exe" file because the execution is done through mono

[parno]

Thanks, I've been meaning to make that change myself.