added patch for retina display, credits: stevenkramer on https://github.com/andrejv/wxmaxima/issues/222