add ubuntu package to INSTALL
[snark14.git] / DIGFileSnark / DIGFileSnarkProj.h