Self-contained executables

After a long time away, I’m getting back to GeoGen and will start making small improvements again. First up: actual releases so anyone can easily try GeoGen 😃