improved HTML informations
added  line count,predicate count, no more dynamic predicates overflow on page, removed double setify entry in codeq analyzer
imports exports counter