Adding fairly roughly scaled-down favicon.