Update deprecated keywords

[dc-mak]

Owned -> RW
Block -> W
extract -> focus

rems-project/cerberus#854 (commit 0832c78) deprecated some keywords in favour of new replacements and this commit updates the tutorial examples to use them to be less noisy in the CI.

The tutorial docs also need to be updated.

[bcpierce00]

Note that all work on the tutorial is happening in the testing-tutorial branch at the moment. (I've wondered whether we should commit it back to the main branch, but everything is all torn apart and I don't want to overwrite the working version of the tutorial until it converges.)

I can make this change in that branch too.

[bcpierce00]

(Making this little change now to make CI happy is fine, of course. I just don't want people to waste time making big improvements in the main branch.)

[dc-mak]

Thanks for lmk! Proceed as you see fit. I can also share the commands I used for the updates if that helps.

[bcpierce00]

Please do!

[dc-mak]

This is just for the .c files, I just realised same needs to be done for the .h files too.

find . -name '*.c' -exec sed -i 's/Owned/RW/g' '{}' \;
find . -name '*.c' -exec sed -i 's/Block/W/g' '{}' \;
find . -name '*.c' -exec sed -i 's/extract/focus/g' '{}' \;
find . -name '*.c' -exec sed -i 's/focusing/extracting/g' '{}' \;
find . -name '*.c' -exec sed -i 's/llvm_focus/llvm_extract/g' '{}' \;

[bcpierce00]

Thanks!