Check pushState for stats announcement filter

Disable the stats announcement filter script when history.pushState
isn't available. It's more important for users to have the correct url
for a search than to have ajaxy updating search results.