catch kbd interupts on splash.py
human usable timeout in wait_for_ssh_access.sh