doc: use github repository for script msgcheck.py in developer's guide