add highlighter extension and initial Python theme