Add build files from Cabal to search path

Speeds up checking because GHC will use pre-build modules instead of
source files, and prevents the checker from choking on modules it can't
find a source for (e.g. .hsc files)
Use Markdown for files

It has become the standard, let's get over it