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