Replace Lib/dis.py by libs/dis.js + remove traces