gnu: Add ECL 16.1.3 for Sage.