add favicon.ico; resolves #20