Gravar-mail: EpiToolKit—a web-based workbench for vaccine design