build/ .github/ .tx/ cockatrice/ docs/ oracle/ Dockerfile