Gravar-mail: The European Bioinformatics Institute in 2018: tools, infrastructure and training