wxMaxima: install desktop file and icon.