renamed other derived variable names.
changed antiviral / vaccine capacity defaults.
annotations in ParametersWidget.
changed labels for backward, play, forward buttons in GUI.