New Features in Coin v3.1.3

This is a bugfix release.

Due to an underlying buildsystem upgrade, the default location of the generated HTML docs changed from $datarootdir/share/Coin/html to $datarootdir/share/doc/coin/html.