add on_statistics handler to python API
add on_statistics handler to python API

This is a convenience extension that simplifies the standard way clingo
is extended with python code.

potassco/clingo,potassco/clingo,potassco/clingo,potassco/clingo