Docker release preview 5

This release fixes a race condition in matcher.go spotted by Egon Elbre, and fixes "premake5 connect" failing with "error: failed to initialize matcher" on MacOSX due to mismatched mbedtls headers.