Added deploy to server, fixed codespaces and some readme changes

[peterrhysthomas]

• Added deploy to fly.io via GitHub action
• Fixed workspaces for Java 17
• Updated the readme a bit

Needs GitHub secret to be added for fly deployment to work, but I don't have access to do that