Update Ubuntu build docs

Moves Ubuntu specific instruction to dev-vm-Ubuntu.md, and makes
devtool-build.md generic, with pointers to OS specific instructions.
Merge pull request #809 from mikeyp-dell/pull-req-master-a8c24050b747a2fc9f7d9211ac7ba602c7535abe

Update Ubuntu build docs [1/1]