Rename server scripts to "srv_*" to shorten URLs

Otherwise, the GitHub URL atop each file will be too long in the case of
new servers like "srv_asyncio1.py", which I cannot find any shorter
reasonable name for.