Properly license all nontrivial files
WIP towards ECALL interface for SBI
Refactor pk, bbl, machine into separate libraries Yuck.