Ignore terminal for now

Terminal has a submodule that is not fetched by init-repository, so
we ignore it until a proper fix is ready.