Make gh-pages.py accept old and new git version
Update CHANGE_LOG format for online docs