alias mine_cart -> minecart

BUR #56691 has been approved by @nonamethanks.

create alias mine_cart -> minecart

Both tags exist. minecart is bigger.

The bulk update request #56691 (forum #425180) has been approved by @nonamethanks.