MicroStrategy (Nasdaq: MSTR), the business-intelligence software company that holds so much bitcoin on its balance sheet that it has become something of a proxy for the world’s biggest cryptocurrency, said it added almost 9,000 bitcoins to its holdings in the the third quarter, bringing its total to 114,042.