Remove obsolete ecmalisp.js