Get rid of the `proof_programs` directory

[jrchatruc]

There's no reason to have duplicated programs for proof mode compilation using symlinks, we can just can have them all in the cairo_programs directory and just compile accordingly with a flag