make processor state explicit in platform properties

This avoids the need to use @-notation when establishing platform
properties (e.g., in facts about ideal schedules).

Thanks to Maxime for the suggestion.
6 jobs for master in 5 minutes and 19 seconds (queued for 2 minutes and 32 seconds)
Status Job ID Name Coverage
  Build
passed #44458
1.9.0-coq-8.10

00:02:22

passed #44457
1.9.0-coq-8.9

00:02:24

passed #44459
1.9.0-coq-dev

00:01:39

 
  Process
passed #44461
doc

00:00:57

passed #44462
proof-length

00:00:16

passed #44460
validate

00:01:19