add favicon

I threatened an animated kitten favicon, but decided on
the PHP one.