Fill most of the presentation.

Remove navigation symbols, and add frame number

Revert "Don't require atbegshi."

This reverts commit f7cbaace48ff451e432fd0cfb9c571a576b8aad0.

atbegshi is apparently required for compilation on MacOS or for whatever
versions Christiaan is using.

Enable note pages.

Use the default (rather empty) theme.

Add some slides to my part.

Remove autogenerated files.

Use a lowercase extension for png images.

Latex only looks for .png, not .PNG.

Don't pass the (non-existing?) --haskell option to lhs2tex.

Require the beamerthemesplit package.

Without this, the presentation failed to compile with a funny error on my
system.

Don't require atbegshi.

It seems the \AtBeginShipout* commands it enables aren't used anyway.

Use latexmk -C instead of -CA.

It seems -CA isn't supported on my system?

Add presentation so far.

Empty initial commit.