Add a link to the CDI spec to the servlet encoding FAQ