Ecl build

Many fixes for ECL, to achieve delivery of statically-linked executables with cffi-toolchain, tweak implementation-identifier, fix interactive launch-program.

Also fix to require-system, fixes to upgrade tests, update to external dependencies, small improvement to Makefiles.