I'm working on a new client that would work great to have support for Electrum servers, but I can't find any kind of documentation for the protocol anywhere.