adding first draft for README.proof
modify configure.ac to integrate proof
correct typos in configure.ac
add po_hi_config.h
finalize configure.ac for proof
export executables needed by proof (frama-c etc.) as Makefile variables
first version of Makefile.am for proof
clean configure.ac and add interactive proofs in Makefile.am
minor typo
minor changes for selecting cpp version