Experimenting with servers: WEBrick vs. thin vs. unicorn vs. puma