changing things: improving detecting languages including using highlight.js, simplifying render functions and base literate file, some slight cleanup