docker: Improve result and error handling
* .gitignore: Ignore installers directory in top srcdir. * docker/docker-build.sh: Copy results to srcdir on success.
As we have to place the resulting binaries somewhere at
least do not put them under src.