update jasmine and friends

Update jasmine to version 1.3.1, update jasmine-jquery to version 1.5.2,
and revise jasmine-reporter.js to use HTML Reporter.