Remove TABs from examples
Fix ARM_security_properties example for pat_assum
Attempt to fix ARM_security_properties in light of 5f1675c
Remove some trailing whitespace
updated ARM model
holmade done OK