Teach DevOps Software Development with a Game