Update dev-machine-setup document

[alexandruag]

Fill in the missing sections in dev-machine-setup.md (and also fix & update as necessary).

1. Related to GCE dev-machine steps need an update #818.
2. Instructions for AWS incoming in added instructions for AWS #817.

[xavinux]

Intel Virtual Machine configuration on Proxmox #939

[dianpopa]

1. The GCE setup was fixed in Update GCP Development Machine Setup Documentation #2502.
2. AWS setup was merged.