An HTTP proxy server based on nginx and lua