A literate programming tool in Python