add favicon.ico (re #198)