[readme] reorder paragraphs of jshell

Author: JakubVanek

README.md

@@ -13,7 +13,17 @@ The output consists of these parts:
   * It has `javac` (jdk.compiler module).
   * JShell remote launcher (hackish, linux-only) is available.
 
-## JShell hack
+## JShell on the EV3
+
+### Usage
+
+First, you have to either [add](https://askubuntu.com/a/4833) your pubkey to the EV3 brick's authorized_keys,
+or set the [SSH_ASKPASS](https://unix.stackexchange.com/a/83991) environment variable. Then, run a script from
+the amd64 JDK on your computer: `bin/jshell-launch.sh <ssh args>`, where `<ssh args>` is an address with an optinal
+port-specifying flag. The options are just added to the SSH command line and aren't sanitized in any way.
+
+### Theory
+
 We've managed to run JShell in a kind of "split-mode". The compiler part runs on your powerful computer,
 whether the not-so-demanding execution is done on the brick. This was almost supported out of the box - 
 the default JShell configuration already uses JDI transport. The only issue is that it does not provide an
@@ -28,11 +38,6 @@ which is used in the local JDI mode, we tunnel a chosen port over the SSH sessio
 JShell listening socket and itself listens on the remote side. Then, the last task is to run the
 JShell JDI agent on the remote side, which is handled by SSH as well.
 
-Practically, first you have to either [add](https://askubuntu.com/a/4833) your pubkey to the EV3 brick's authorized_keys,
-or set the [SSH_ASKPASS](https://unix.stackexchange.com/a/83991) environment variable. Then, run a script from
-the amd64 JDK: `bin/jshell-launch.sh <ssh args>`, where `<ssh args>` is an address with an optinal port-specifying flag.
-The options are just added to the SSH command line and aren't sanitized in any way.
-
 ## Building
 
 0. Clone/download this repo to your computer.