pymaingo <--> maingopy

Thanks for the python bindings!

The pypi page for maingopy refers to the README for documentation and the examples folder. The only python example imports pymaingo instead of maingopy.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information