wxMaxima: Version bump to 13.04.0.