using -no-user-package-db for GHC >= 7.6.
Adding HCAR tex file.
fixing typo.
For HCAR May 2013.
reverting a first line.