fix Docker build

the problem was that ./bootstrap.sh is not actually run for the Docker builds;
the devbase image is created in ./build/devbase and cannot access anything
outside of that directory.

It would be better to move embedfile out of ./tools into, say, build/devbase/tools,
in which case we could install it in godeps.sh instead