UpdatingTextBox

Added a new UpdatingTextBox gui widget so that we don't have to manually
update textboxes anymore. We just have to provide UpdatingTextBoxes with
a callback function. Changed the FPS display to an UpdatingTextBox.