The scribe documentation and literate programming tool