Add bit about MegaMinerAI to about us

Fixes #7