README now explains output of batfish_analyze