decl_mode: stay in declarative mode

This solution is a bit dumb, but I guess does what one expects.
Each decl mode proof commands stays in proof mode.
fix wrong escaping in coq_makefile