added script to update github pages
cosmetic change just to test update script
[auto] merge master into gh-pages
[auto] updated html listings