Add favicon (seems not to work). Prepare to write new sphinx-oriented pavement.py