熊本城の修復に仏政府はいくら出してくれたの?