feat/ci: workflow adjustments to use rocksdb.a precompiled#1629

drahnr wants to merge 2 commits intonext0xMiden/miden-node:nextfrom

bernhard-rocksdb-ci-impro0xMiden/miden-node:bernhard-rocksdb-ci-improCopy head branch name to clipboard