Marathon digital mined 77% more Bitcoin in may with the help of its software.