File server extension for Zeppelin's HTTP server plugin