Some users complain that operations are slow and it is difficult to reproduce that.

We could add measuring points to some UI operations and gather statistics about the timings. This would give an objective value we can refer to and that can serve as a reference for future improvements.

The data should contain information about:
- user id
- machine id
- event id (operation measured or other info, like eclipse session start)
- event timestamp (to check for possible global condition affecting several users)
- event duration (or other event data)

It would be nice if we could gather this more or less in real time (in controlled environments).