A http frontend for Progress