Icon: deprecate icon_size

pixel_size should be always used now.

Adds a constant MENU_ICON_SIZE to cover the other sizes at settings.ini.

Adds a transformation to keep backwards compatibility for some
time. This will be removed in the future.