Port update_coreteam.py to Hy.
Merge branch 'master' into pr/487