update dfx version 0.7.1→0.7.2

[adust09]

The version of each dfx in motoko/ is currently 0.7.1, but this is an old version! We will need to update them to 0.7.2 as in #98.

We also need to consider updating some node.js packages.