add History.js with HTML4 fallback for #899