Merge branch 'new_machines' into 'production'
    
    use Leap 15.3 as default (same as for the docker container itself)
    
    See merge request infra/salt!511