Import less Program stuff to avoid UIP/fun_ext showing up with coqchk.

There is still the reals stuff, which is caused by importint Psatz (needed
for lia) and eq_rect_eq which is caused by importint Eqdep_dec.
1 job for master in 8 minutes and 53 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #657
coq
buildjob

00:08:53