0.12.0 release

New features:
- fvp: upgrade Morello to 0.11.27
- qemu: exit instead of rebooting

Bug fixes:
- Re-add `run` script
- fvp: compartment requires USERDATA.
- fvp: lldb does not require USERDATA