A python scheduler to execute a list of tasks on different machines