[PATCH 8/9] tuna_gui: add command line option to customize GUI refresh time