csv2ini.py: rename bodyPoints to hitpoints, following the upstream change