setting ajaxlinks, history push state and menu highlighting