add isBinary function for json subtree
add support for all binary operations to metaSMT-server
don't let exceptions take down a whole connection