Interface size settings are now available

Allright. Last build for this year.
I added the ability to change the interface size from the Taco menu. For now this affects the menu position/size, the fonts used, and the Map Timer. The four interface size options correspond to the ones in GW2 and position the Taco menu accordingly.

Get the new build here.

Release notes:

• Added interface size options
• Map Timer now uses the font height to scale the rows
• Map Timer should now work independent of timezone
• Less intrusive mouse event handling

And a happy new year to everyone! :)