New script autosort.py: automatically keep buffers grouped by server and sorted by name