[Dillo-dev] 1.3 port

Jorge wrote:

FWIW, I've been using the 1.3 branch for months now with no problems (i.e. as stable as 2.0). It's more or less 99% done, with some new features (as improved tabs). ! :-) !

The 1% remaining is the ability to switch panel sizes on-the-fly, which could take me 1 day of work aprox.

Looks like we still need - xembed - the preferred font code in dillo.cc.