Github raw repository location moved
Manual: added cabal build
Fix #832 Failed to generated .resolved file
Gitignore for doc outputs