JSON RPC Server for Bridge Buddy - a Bridge Card Game Helper