Made webserver file reads synchronous again

For some reason I haven’t figured out yet, file reads from the webserver are pretty slow. In particular, asynchronous file reads (via streams) is even slower than synchronous file reads. Because of that, we changed webserver file reads to being synchronous for now. Also see #78