renamed proof obligations directory + git ignored it
added better management for coq proofs