Advent of Code 2023 Solutions for the 2023 Advent of Code (http://adventofcode.com/2023/), mostly in awk