update history.js; added support for html4 browsers