Code review comment for lp:~yrke/tapaal/tapaal-newlocateverifytapn

There is a problem here. The engine can be called verifytapn or verifytapn64, depending on the version. I would like to keep the different names different, so that if a user reports a bug,
we can see (Tools/Verification engines) what version is he/she using. Perhaps you can check
for both variants in the bin directory and prefer the 32 bit version of both are present?