favicon and scripts for editing conf.py files

Once we figure out the windows equivalent of os.uname, these scripts
should probably be tweaked and then merged...