Update core_server
Merge branch 'master' of https://github.com/FelixResch/Extensible-Java-Web-Server