inv-lit-prog Generating documentation for methods and functions in the style of literature programming