Drop dump_footnote_value_31() in favor of dump_value_31().
[pspp] / style
2014-10-18 Ben PfaffAdd some style commentary.