Remove old unused jQuery

Despite the filename this was jQuery 1.9.1, minimised, and is not
being used.
Sort out jQuery

Name the file conventionally, and add the source map.