Update invaders for neweffects API

This is now just the version from idris-demos.