Revert commit_id to commitid in changes_logs.html and github.py to maintain functionality with alternative VCSes