Bump Cabal version to 2.0

This will allow to use multiple internal libraries, which can be used to add
tests for other executables than the main one.

Unfortunately, cabal-doctest is currently not supported in combination with
internal libraries and so I had to temporarily disable doctests.