Call std::quick_exit(0) when leaving from server::serve(), closes #34.