[Jobs Match Making] Move matching logic into Redis Lua scripts

### Description

Move the matching and prioritization logic into Lua scripts executed server-side in Redis. The full match operation should be a single atomic call.

Implement incrementally, starting with the simplest comparison and building up.

### Definition of Done

- [ ] Lua script(s) implementing the match operation
- [ ] Python client calls the script with pilot node characteristics and receives a job ID
- [ ] Correctness: identical results to Python prototype on test cases
- [ ] Locust benchmark: compare vs Python+Redis (Issue 6)

**Stretch:**
- [ ] Full prioritization logic in Lua (running limits, round-robin)
- [ ] All comparison types including tag expressions in Lua