doc: Simplify executable and library example

Use `hs-source-dirs` for the library and change the `other-modules`
names for the executables to avoid confusion.

Lowercase the `main-is` files to make it clear the filename need not be
a module name.

Add dependency on the internal library to the prog2 executable to
showcase common usage.

[ci skip]