add ubuntu package to INSTALL
[snark14.git] / snark / trm3.cpp