Lightweight, standalone RESTful HTTP server for distributing Debian packages