tuna_gui: add command line option to customize GUI refresh time

Add -R (--refresh) to be able to set via command line the refresh
time of the GUI. Previously it was hardcoded 2500. I believe this
can be very useful both for unloaded systems where we want faster
refreshes and for very loaded (with many processes/irqs) systems
where 2500 can lead to very high CPU usage of tuna.

Signed-off-by: Federico Pellegrin <fede@evolware.org>
Signed-off-by: John Kacur <jkacur@redhat.com>
3 files changed