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.