Update history.js plugin

https://github.com/devote/HTML5-History-API

There have been a few recent bug fixes in the history.js plugin we're using (e.g. Safari 8 fix). I suggest we upgrade and test the new version thoroughly.