Higher resolution

[shuhei]

Probably zooming on mobile devices is necessary.

• Zoom (Zoom in #30)
• Change resolution
  • Resize pixel grid
  • Handle resolution change with undo/redo