CI changes

All,

I just did a bunch of stuff to move us from the deprecated way of using
travis-ci from github to the new sanctioned way of doing it.

It was rather straightforward, and this let us remove the custom script
that we were using, in favour of the new "deploy" step in .travis.yml,
which is much simpler.

I also took this opportunity to cleanup old files we weren't using anymore
(Makefile, tidyconf, etc.), and add the favicon back.

Let me know if something looks off !

Cheers,
Paul.