Update Coin setup

The MR adds messages to the user when a local Coin installation is found and when the use of the built-in Coin version is requested.