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.