Literate programming tools