[ configure.ac ] Added check for cpphs.
[ Agda.cabal ] Added upper-bound for cpphs.
Fixed typo.