Configuration and utilities to spawn multiple HDK workspaces.
Helps @gracinet to maintain consistency among several development computers.