Merge pull request #708 from yoshuawuyts/remove-docker