Add Petter Urkedal to THANKS
doc: add description for the new --reserved-name command-line option
piqi-ocaml v0.7.2 release
Bump version to 0.7.2-dev