tarantool: use default git repo instead of broken repo.or.cz