Packaging, issue #1174: Add pure binary to docker release

I am fairly comfortable with this code with the caveat it has not been tested (as doing so will change the state on production. Issue #1186 will address this)

@shykes, @creack, @vieux. Feel free to merge if you like it.