using -no-user-package-db for GHC >= 7.6.
Adding HCAR tex file.
fixing typo.