Pygame API in ATS

[gmhwxi]

I initiated an API for using pygame in ATS:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/libatscc/libatscc2py/SATS/PYgame
https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/libatscc/libatscc2py/TEST/PYgame

This is mostly for the purpose of teaching programming.

In order to try it, you need to install pygame for Pythion3 and also generate atscc2py (for compiling
the C output from ATS source into Python3). Here is a script showing how atscc2py can be installed:

https://github.com/ats-lang/ats-lang.github.io/blob/master/SCRIPT/C9-ATS2-install-cs320.sh

Cheers,

--Hongwei