Use thin on Windows, puma everywhere else

This also fixes the travis build matrix to allow us to "run" the tests that are broken in Pedant. A simple test like "can the server start and stop" is better than not testing at all :smile: