Introduced a SolutionOptions type.
Stick to the string problem number for a while.
Added optparse-applicative to cabal file.
Refactored main to use optparse-applicative.
Parse problem number as integer.
Use integer keys for solution map.
Removed redundant braces.