SERVER-11767 display interrupted index builds nicely