Document budgets

Requires !226 (merged), closes #160 (closed)

changed milestone to %Arkindex 1.8.0

requested review from @babadie

assigned to @erouchet

requested changes

mentioned in merge request !226 (merged)

added 4 commits

• b0326b9e...5c92a4ae - 2 commits from branch release-1.8.0
• 53667333 - Document budgets
• b65c2165 - Suggestion

Compare with previous version

resolved all threads

merged