Redbean – single-file distributable web server