Remove rdflib.js and libcredit.js, since they have trouble being fetched and will not be used anyway in the new frontend
Better feedback to linting, listing all processed files and only doing those which have changed