Revert "add the mangos project"

This reverts commit 4e06e85ba91902a352271b99b46f7fbd9575d9ce.