move docker stuff in their repo, various minor fixes