BYFL_INFO lines

Byfl now outputs two BYFL_INFO lines at the start of the run: a list
of all Byfl command-line options passed to the opt command and a
demonstration of how numbers are formatted in the current locale.