Parameterize DA lifter and add RISC-V tutorial

[palmskog]

This is a revival and reimagining of https://github.com/kth-step/HolBA/compare/dev_riscv_tutorial which adds two new simple RISC-V examples. This should allow people to actually try out HolBA on RISC-V code.