Simple history-manager for AJAX-based web applications