Added badges with simple statistics of statements, classes and predicates
Optimized build