Move Linux sources to the `linux` directory
Rename the `launcher.py` script to `enso`
Fix the `exit` and `quit` commands
Revert "Rename the `launcher.py` script to `enso`"