Editor: generalization of the zoom system & add 400% zoom.
Editor: allow to zoom in/out in sprite editor (mouse wheel).
Editor: allow to zoom in/out in tileset views (mouse wheel).