Disable mg_connection_lock/unlock when websockets are disabled
Introduce new mg_finish API that allows terminating a connection early