Rename server.py to CoVimServer.py in all the places

Further to 3a0e29acdb021b29bfbaeea5231a9298cc4e087d, rename `server.py` to `CoVimServer.py` in the documentation.