update patches for ghc 7.8.2
update docs