wxMaxima 13.04.2: Update to 13.04.2

Update wxMaxima to 13.04.2