Updates, bug fixes, and integration with typeset

Updated jquery, jquery ui