Library corrections
Stats manager added

When a game end normly, stats are added in a flat file named
data/stats.json
Stats service creation

The stats service answer a global json for all previous games ended via
adress <domain>/stats
If argument « names » is set, corresponding json array of names is
added to database