[galaxy-dev] Galaxy with EMBOSS 5 or EMBOSS 6 ?