Soporte para otros DE distintos a Gnome 3 con la opcion --disable-gnome3-support
Correcciones en la traducción
Se agregó soporte para las funciones deprecadas en Gtk+ 3.12 Widget.margin_left/right

Ahora con la directiva de precompilación --disable-gnome3-support se cambian estas funciones por las deprecadas.
Merge branch 'legacy_support'