Remove tutorial BATMAN (now in tutorials repo)