Implementation of statistics reports dashboard

[michal-ruzicka]

Implement statistical reports showing

• number of formulae in the system,
• number of canonicalization results in the system
  • number of successful/unsuccessful/unrated results (see Implement rating interface of canonicalization outputs #13).

See also #7, #8.

[michal-ruzicka]

Seems to be implemented, am I right?

[empt-ak]

Well, when you open statistics page there is a message stating that statistics are generated always at midnight. This is not yet implemented as i had some issues with Spring TaskExecutor. It would be nice to have such functionality that allows to generate daily statistics, so they don't have to be generated always manually. Rest of requirements written in this ticket are implemented.

[michal-ruzicka]

Autorecalculation of statistic opened as new ticket #26.