Tjokropranolo, Gubernur DKI Jakarta (1977–1982)