Make Haddock examples executable #112
Description
There are a number of examples/tutorials in the Haddock documentation of botan-low that could be improved by making them executable. Such executable examples are more future proof, and we can actually test them using test-cabal-docspec in CI. One such example for the SRP6 code has already been made executable, see #66. We should apply to this to other examples too.