Former Wal-Mart CIO to Head Microsoft?