Change theme_view() to generate a random id attribute, if one isn't provided. Change theme_views_view() to add a div container wrapper around the view, and refresh the div's content, instead of the entire page.
Update binary.