Advent of code in Ada/SPARK Implementing some of the challenges of the Advent of code (https://adventofcode.com/2019) in Ada and SPARK.