Translation from JuvixReg to Cairo ASM

[lukaszcz]

• Translate from JuvixReg in SSA form to Cairo ASM. Since Juvix is purely functional, this fits well with the Cairo read-only memory model. We never need to modify or free memory - we allocate it once and "assign" the necessary fields once, then only read them. Allocate a new stack frame for each function call, which stores the arguments and local variables.
• Test the compilation pipeline to Cairo ASM with the Cairo ASM interpreter.
• Depends on Cairo ASM language and interpreter #2561
• Depends on Transform JuvixReg into SSA form #2560
• Depends on Insert assignments in JuvixReg to guarantee continuous memory use #2576
• Depends on Implement the dynamic dispatch loop in JuvixAsm #2555