A RESTful web server for ImageJ