fixed bug where canonic output didnt get id by hibernate
added hash for formula (for faster duplicity check)
improved canonicalization task with factory, but simple import might not work
added beta version of statistics so far only total formulas, and valid formulas
added flotcharts for statistics