Fix package_time display
Merge https://github.com/lefticus/decent_ci_results into gh-pages
Merge branch 'gh-pages' of https://github.com/ChaiScript/ChaiScript-BuildResults into gh-pages