The deal is a sign Executive Chairman Michael Saylor isn’t backing off his audacious plan to turn his software developer into a bitcoin proxy.