Fixing checker compilation.
Fixing test-suite. The file output/Naming.v was broken because of a bugfix
changing the printing of bound variables.
TC: honor the use_typeclasses flag in pretyping
Fix grammatical mistake in error message (bug #3238)
Fix (3243): univ constraints of module subtyping were not propagated

Universe constraints coming from subtyping were not propagated
to the outermost module and hence not stocked in the .vo file.
Still, they were added to the interactive safe environment and
hence checked for satisfiability.
remove trailing '\r' from file names returned by coqtop
coqc avoids modifying the filename before passing it to coqtop (except for removing the .v)
Uses slashes for the various install and config directories
Lets coqtop use a slash
Remove the -fno-defer-pop cflag

According to http://caml.inria.fr/mantis/view.php?id=6346, this flag
causes ocamlc to fail on the latest version of xcode, because clang now
errors on -fno-defer-pop. According to the same issue, -fno-defer-pop
is required for computed gotos if you're using gcc 1.xx, but not gcc
3.4.0 nor 4.4.7 (nor presumably other reasonably modern versions of
gcc). I haven't actually tested this, as I don't have a mac, but it's a
relatively small change.

This closes pull request #10.

Signed-off-by: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Fix Bug 3131
v8.4: Fixing bug #2900 (evar/evar unif was supposed to be treated in
solve_simple_eqn but in case the second evar was hidden behind a local
variable, it arrived in evar_define and imitate, wrongly assuming
progress).
Adding open_constr_wTC for retrocompatibility (with user defined tactics)
Really drop mentions of info in refman.
bugfix micromega: solved an ambiguous symbol resolution (backport)
Fix CHANGES: next is pl4 (not pl5)
v8.4: Fixing #3262 which revealed a non-progressing, hence looping,
refinement of evars (in filter_candidates).
fix Function tactic documentation
closing bug 3037
v8.4: Fixing bug #3228 (fixing precedence of ltac variables over
variables in env).