This can't really be gitignored, but I assume we should stop people from using git submodules...