Make dynamic search configurable

Addresses #150. This pull request will also force browsers that don't support the history API (notably, IE 9) into the static search behavoir.

I don't know if there was consensus or not on what the buttons should be named. I have no strong opinion one way or another. Consider their labels in this PR a placeholder.