chg: restart nanosleep when interrupted by signal
chg: announce Primdec::sep
Merge pull request #430 from steenpass/nanosleep

chg: restart nanosleep when interrupted by signal
fix: wait may be undefined
fix: oldpolymake.lib depends on polymake.so -> cannot be part of all.lib