Removed non-mined coins

Some coins aren’t mined, but distributed some other way. These were
removed from the ranking.