polyml port update

[Phil Eaton]

Hi!

I am a new FreeBSD user and this is the first time I'm trying to commit an
update to the ports tree. I submitted a port update report here
<https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=208783> because it
seemed like that was the right place to send it according to the porter's
handbook. I am not sure what the response time normally is (and I'm not
totally sure I filled out the bug report correctly) so I decided to give
you a heads-up directly.

Please let me know if there is anything I can do to improve or correct the
submission and make it easier to review. Afterward, I'd be happy to discuss
the actual contents of the submission.

Thank you!

-- 
Phil Eaton