A simple, fast HTTP file service