Rewrite the server list in Python with Flask

This also adds extra data type checks.
Revert server list undefined players workaround

This wasn't a fix, it was a client-side workaround for a server-side bug.
The server no longer has this bug.
Make server list script executable and add production documentation