Update jquery mobile to 1.4.2, and changed version number throughout