Replace JDAA and Java_WebSocket with Magma and Undertow
- Replaced JDAA with Magma
- Added an event for when the Discord voice WebSocket is closed
- Replaced Tomcat and Java_Websocket with Undertow. WS and REST is now handled by the same server and port. Port is specified by
server.port
.