doc: more reports explaining parts of barvinok