configure PR merges to use squash

[d-v-b]

The commit history of this repo is IMO too granular, and should be organized by PR, not by individual commits. This would make it much easier to track changes made to the spec over time. I recommend configuring PR merges to use squash and merge.