Add AxiomPy/ (Slick)
Update CPP .gitignore
Move C++ implementation to AxiomCpp.