improve dev-build.py

This means that when using e.g. non-default compilers
it doesn't try to recompile everything every time.
Ensure dev-build build dirs don't accidentally stomp on each other.

( As a side effect, the current paths in the build dir will
never be accessed again so you might as well rm -rf build/
after pulling)
note recommended versions of helper script languages