A RESTful API for managing Proportional Representation elections