Tweak documentation for DPTrace and update cabal file