adding Coin 3.1.3

A new recipe adding coin library.