Keyboard interrupt handling and return annotations

[MesonProgrammer]

The user can cleanly exit from the program and there are return annotations to make it clearer on what the functions return.