small enhancement to gvar.fmt_errorbudget(); miscellaneous cleanup
fixed minor bug in gvar.fmt_errorbudget and also its documentation
version 4.2.7.2