Handle signals in savetty
Rename Input to IO