license for AstroTaverna is GPL 3