Adapt behaviour of C-c C-t to the same as the other interactive commands:
- save buffer
- load file synchronously
- send command over the wire to Idris process

Additionally, provide a prefix option for C-c C-t which does not load anything, but rather asks for the thing to check