lang/polyml: update to 5.7.1

Move some variables to its place.

PR: 229273
Reported by: hannes@mehnert.org
Approved by: tcberner (mentor) beyert@cs.ucr.edu (maintainer)
Differential Revision: https://reviews.freebsd.org/D16022