add crude support for drawing semantic tableaus in svg