Append queries to browser history

Might be doable with HTML5 popstate, requires some testing though.

References:

- https://github.com/browserstate/history.js

- http://www.sitepoint.com/javascript-history-pushstate/

https://developer.mozilla.org/en-US/docs/Web/Guide/API/DOM/Manipulating\_the\_browser\_history

(from redmine: issue id 72, created on 2018-01-22tgradl, closed on 2018-01-22)

• Relations:
  • relates #69 (closed)
  • relates #73 (closed)