add ubuntu package to INSTALL
[snark14.git] / snark / read_eval_phantom1.h