Remove coq, camlp4 (+ downstream dependencies) from block list.