Navigation management for HTML5 single-page web apps