A Proof of Ibukiyama's Conjecture on Siegel Modular Forms of Half-integral Weight and of Degree 2