Add zoom-in/out

This patch enables a quick zoom-in/out via keyboard shortcuts, temporarily changing the font size of the terminals. Once the terminals is closed, the font size is reset to the original.

By default, CTRL-<PLUS> and CTRL-<MINUS> is assigned for zoom-in and out respectively.