Jenkins plugin to implement CORS (Cross-Origin Resource Sharing), for scripting Jenkins's API from JS in the browser