[no-release-notes] /docker/{Dockerfile,serverDockerfile}: change dolt installation to use install script which can determine platform #8118

Closed coffeegoddd closed 1 month ago