Facet view now uses History.js for pushState. Added some i.e. compatibility shims.
Visual warning for IE < 9