Adds option to jquery update module to include the jquery migrate library