* global.json sdk value will now match 3.1.whatever
* rm the now-redundant sed both from the ci pipeline and Dockerfile*
* limit ci pipeline runs to single build for an event. e.g. on a pr,
run a single build instead of both a pr build and a push build
* edit Makefile to force --no-cache builds