executor REST API: use "dut(s)" in endpoints instead of "machine(s)"

Following the rename in other parts of the executor from machines to duts, the REST API should follow. The current endpoints will stay for some time to allow for an easy transition.