[Dillo-dev] 1.3 port

Hi there, 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. I'd like to get your feedback on this browser because it will sooner than later become the official branch. Comments? -- Cheers Jorge.-