Merge pull request #432 from steenpass/slClose

chg: defer shutdown in slClose()
chg: divisors.lib without computations (depends on polymake.so)
fix: all.lib without tropical.lib (depends on polymake.so)
chg: singularsurf/surf/display instead of gtk-surf
install singularsurf