Context-freeness of the languages of Schützenberger automata of HNN-extensions of finite inverse semigroups