jalview XML schema update for 2.4.1 (or 2.5?) introducing IDs for views and treepanel...