Shell console now exits correctly

Console:
- The input thread is now marked as daemon, to be killed on interpreter
  exit.
- No more 1-second thread joining attempt, as the input thread is always blocked
  on safe_input().
- Indentation correction

Core:
- Method exceptions are now printed to the shell output in the format
  {type}: {message} (more suitable for the user)