Some small coding conventions fixes for the GreaseMonkey script
Upgraded the site to use timestamps for problem's publication date and last update.