remove accidentally left over include

it was used for debugging intersection mappers. to make this include
work, dune-cornerpoint must be available and that the intersection
mapper PR must be merged.
reset-TTY-signal-handler: first restore the default handler, then try to do magic

also, reduce the timeout a bit...