math/coinmumps: Rename into math/coin-or-mumps

coinmumps wasn't used because it can only be used from Coin-OR
projects and there are no mentions in the tree.

But the upcoming Ipopt update would use math/coin-or-mumps.