Update gnatcoll git repo