Added another anomaly criterion to reasoner.
Added push statistics to reasoners.
Merge branch 'master' of github.com:JulianKunkel/siox