Adjust instructions to recommend docker-eiffelstudio