Added history.js

This library is really useful. Although it's
another bloat, it will definitely make it
more compatible for older browsers.