moved stuff

atlantis stuff moved off github because it got too hard to track where
stuff was