DEV-18419 / Allow develop.py to be run from outside source tree

Whatever directory develop.py is run from, it will create the build
trees there.

Reviewed by Mani.