Removed git submodule that isn't used anymore.