freefem++-hg: update
freefem++: 3.31-3

catch up and hack around weird version naming

drop various header patches for now