xterndoc readme add github pull request workflow