Minor edits and adding new design document for PIES programming model.
Merge branch 'master' of https://github.com/mn200/inspector-strategies