Trivial edits to OQUM Ch1-3

Fixes a couple of minor typos and small edits to the text of oq-engine-docs