Simple HTML index servlet.