Update comonads and friends.
Don't run lens test.
Don't run llvm-general test till the build's fixed.
Update idris.