The software used in bitcoin mining is getting its first big makeover in more than a decade