システム刷新に失敗した京都市、ITベンダーと契約解除で訴訟の可能性も