Change favicon format to .ico. Small improvements to the script.