Add composable statistics module

[arbimo]

Reasoners should be able to export their statistics in a semi-structured way.

Use case:

• more legible statistics agreagation
• automatique performance metric export