update docker devpi article with autorestart