CI and WASM updates
Some minor updates to the pipeline/wasm integration:
- docker image fix: SDL2 port added to the image
- reduce distance between interaction tabs and wasm buttons
- add explanation to SelectAVertex: unclear usage
- add button to hide program output
Edited by Adrien Stucky