Specify tab completion function in polymake.ext. Should now be compatible with polymake revision [11473].