- Aligned cap_narrow_perms with the Asm instruction CLRPERM: bit-mask represents the permissions to clear

- Added example illustrating how to convert masks between cap_narrow_perms and the Cheri C function cheri_perms_and
- Adapted several examples
- Tidying up _CoqProject files

Author: ric-almeida