vercomp.sh is missing(??) but maybe we don't need it anymore
Add a part about signal handling to doc/book