- Making ANIMO installation a bit more user-friendly: we show more
messages when verifyta is not found, and give the user the opportunity
to go to the uppaal download page to get it.