clean.js everywhere
This adds clean.js as the highlighter on the library viewer, obsoleting the pygments highlighter.
To do:
-
clean.js needs to implement generics -
clean.js needs to implement #
-
clean.js needs to be able to deal with comments everywhere -
clean.js needs to get correct scoping rules -
line numbers and highlighting of/jumping to lines needs to be put back